The Community for Technology Leaders
Green Image
Issue No. 01 - January (2010 vol. 43)
ISSN: 0018-9162
pp: 28-34
David Lorge Parnas , McMaster University
ABSTRACT
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.
INDEX TERMS
Software development, Formal methods, Software documentation
CITATION
David Lorge Parnas, "Really Rethinking 'Formal Methods'", Computer, vol. 43, no. , pp. 28-34, January 2010, doi:10.1109/MC.2010.22
92 ms
(Ver )