The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (2010 vol.43)
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. 1, pp. 28-34, January 2010, doi:10.1109/MC.2010.22
REFERENCES
1. H.S. Elovitz, "An Experiment in Software Engineering: The Architecture Research Facility as a Case Study," Proc. 4th Int'l Conf. Software Eng., ACM Press, 1979, pp. 145-152.
2. R.W. Floyd, "Assigning Meanings to Programs," Proc. Symp. Applied Mathematics, Am. Mathematical Soc., vol. 19, 1967, pp. 19-31.
3. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming," Comm. ACM, Oct. 1969, pp. 576-580.
4. S.L. Gerhart and L. Yelowitz, "Observations of Fallibility in Applications of Modern Programming Methodologies," IEEE Trans. Software Eng., vol. 2, no. 3, 1976, pp. 195-207.
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool