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
David Lorge Parnas, "Really Rethinking 'Formal Methods'", Computer, vol. 43, no. , pp. 28-34, January 2010, doi:10.1109/MC.2010.22