Issue No.01 - January/February (1997 vol.14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.566430
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.
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