DocumentCode
282217
Title
Expert systems and certification
Author
Cullyer, W.J.
Author_Institution
Dept. of Eng., Warwick Univ., Coventry, UK
fYear
1989
fDate
32804
Firstpage
42430
Lastpage
42432
Abstract
Some of the principles for designing high integrity software are: use of formal specification languages, rigorous development environment, software must be analyzable by static code analysis, the coverage of dynamic tests must be predictable, and verification by independent scientists and engineers. It is hard to see how current KBS systems will fit this mould. The paper considers this issue in more detail
Keywords
expert systems; legislation; professional aspects; KBS systems; certification; development environment; dynamic tests; expert systems; formal specification languages; high integrity software; static code analysis; verification;
fLanguage
English
Publisher
iet
Conference_Titel
Expert Systems Liability, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
198832
Link To Document