DocumentCode
282346
Title
Are formal methods the answer?
Author
Hoverd, Tim
Author_Institution
Logica Cambridge Ltd., UK
fYear
1989
fDate
32836
Firstpage
42552
Lastpage
42553
Abstract
Formal methods are commonly mentioned in connection with the analysis and design of computer systems and particularly critical systems. Given this rising interest it is appropriate to take a careful look at formal methods in order to determine if they are really worth this attention. The author defines `formal method´ and goes on to outline the benefits of formal notations for systems analysis. He also looks at the drawbacks of formal methods and proposes a framework for the optimal design of such a method
Keywords
formal logic; formal specification; safety; systems analysis; computer systems; critical systems; formal methods; formal notations; optimal design; systems analysis;
fLanguage
English
Publisher
iet
Conference_Titel
Requirements Capture and Specification for Critical Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
199041
Link To Document