The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (1997 vol. 14)
ISSN: 0740-7459
pp: 73-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.
INDEX TERMS
CITATION
Luqi null, Joseph A. Goguen, "Formal Methods: Promises and Problems", IEEE Software, vol. 14, no. , pp. 73-85, January/February 1997, doi:10.1109/52.566430
99 ms
(Ver )