Issue No. 01 - January (2010 vol. 43)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2010.22
David Lorge Parnas , McMaster University
We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.
Software development, Formal methods, Software documentation
D. L. Parnas, "Really Rethinking 'Formal Methods'," in Computer, vol. 43, no. , pp. 28-34, 2010.