This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Really Rethinking 'Formal Methods'
January 2010 (vol. 43 no. 1)
pp. 28-34
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.

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.

Index Terms:
Software development, Formal methods, Software documentation
Citation:
David Lorge Parnas, "Really Rethinking 'Formal Methods'," Computer, vol. 43, no. 1, pp. 28-34, Jan. 2010, doi:10.1109/MC.2010.22
Usage of this product signifies your acceptance of the Terms of Use.