The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1997 vol.14)
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.
CITATION
Luqi null, Joseph A. Goguen, "Formal Methods: Promises and Problems", IEEE Software, vol.14, no. 1, pp. 73-85, January/February 1997, doi:10.1109/52.566430
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool