DocumentCode
1400515
Title
Formal methods: promises and problems
Author
Luqi ; Goguen, Joseph A.
Author_Institution
Naval Postgraduate Sch., Monterey, CA, USA
Volume
14
Issue
1
fYear
1997
Firstpage
73
Lastpage
85
Abstract
Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far
Keywords
formal specification; formal verification; engineering discipline; formal methods; software development; Computer industry; Computer science; Context modeling; Dictionaries; Genetic programming; Logic; Mathematics; Reliability engineering; Robustness; Software systems;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.566430
Filename
566430
Link To Document