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
ASCII Text
x 
 
David Lorge Parnas, "Really Rethinking 'Formal Methods'," Computer, vol. 43, no. 1, pp. 28-34, January, 2010.
 
 
BibTex
x
 
@article{ 10.1109/MC.2010.22,
author = {David Lorge Parnas},
title = {Really Rethinking 'Formal Methods'},
journal ={Computer},
volume = {43},
number = {1},
issn = {0018-9162},
year = {2010},
pages = {28-34},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2010.22},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Really Rethinking 'Formal Methods'
IS - 1
SN - 0018-9162
SP28
EP34
EPD - 28-34
A1 - David Lorge Parnas,
PY - 2010
KW - Software development
KW - Formal methods
KW - Software documentation
VL - 43
JA - Computer
ER -
 
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.