Really rethinking 'formal methods'

Computer

Volumn 43, Issue 1, 2010, Pages 28-34

  Parnas, David Lorge ^a  

^a Middle Road Software ^*

Author keywords

Formal methods; Software development; Software documentation

Indexed keywords

EID: 76649103041     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2010.22     Document Type: Article

References (4)

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.