Issue No.01 - January (2010 vol.43)
David Lorge Parnas , McMaster University
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2010.22
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. 1, pp. 28-34, January 2010, doi:10.1109/MC.2010.22