Title :
Formal methods: promises and problems
Author :
Luqi ; Goguen, Joseph A.
Author_Institution :
Naval Postgraduate Sch., Monterey, CA, USA
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;
Journal_Title :
Software, IEEE
