Ten commandments of formal methods... Ten years later

Computer

Volumn 39, Issue 1, 2006, Pages 40-48

  Bowen, Jonathan P ^a   Hinchey, Michael G ^b,c  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

^c LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; ENCODING (SYMBOLS); FORMAL LOGIC; LARGE SCALE SYSTEMS; SEMANTICS; SPECIFICATIONS;

FORMAL METHODS; FORMAL SPECIFICATION TECHNIQUES; INTEGRATED METHODS; NOTATION; SOFTWARE DEVELOPMENT PROCESS;

SOFTWARE ENGINEERING;

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

References (14)

1. M.G. Hinchey and J.P. Bowen, eds., Applications of Formal Methods, Prentice Hall Int'l Series in Computer Science, 1995.
2. D. Power et al., "Where Is Software Headed? A Virtual Roundtable," Computer, Aug. 1995, pp. 20-32.
3. M.G. Hinchey, "Confessions of a Formal Methodist," Proc. 7th Australian Workshop on Safety-Critical Systems and Software (SCS 02), P. Lindsay, ed., Conferences in Research and Practice in Information Technology, vol. 15, Australian Computer Soc., 2002, pp.17-20.
4. K.-K. Lau and R. Banach, eds., Formal Methods and Software Eng., LNCS 3785, Springer-Verlag, 2005.
5. J.P. Bowen and M.G. Hinchey, "Seven More Myths of Formal Methods," IEEE Software, July/Aug. 1995, pp. 34-41.
6. J.A. Hall, "Seven Myths of Formal Methods," IEEE Software, Sept./Oct. 1990, pp. 11-19.
7. P.E. Ross, "The Exterminators," IEEE Spectrum, Sept. 2005, pp. 36-41.
8. R. Sharpe, "Formal Methods Start to Add Up Again," Computing, Jan. 2004; www.computing.co.uk/features/1151896.
9. M.G. Hinchey and J.P. Bowen, eds., Industrial-Strength Formal Methods in Practice, FACIT Series, Springer-Verlag, 1999.
10. J.M.T. Romijn, G.P. Smith, and J.C. van de Pol, eds., Integrated Formal Methods, LNCS 3771, Springer-Verlag, 2005.
11. D.A. Patterson et al., Recovery-Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies, tech. report, UCB// CSD-02-1175, Computer Science Dept., Univ. of Calif. Berkeley, 2002.
12. M.G. Hinchey, J.L. Rash, and C.A. Rouff, "Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation," NASA tech. monograph TM-2005-212774, NASA Goddard Space Flight Center, 2005.
13. D. MacKenzie, Mechanizing Proof: Computing, Risk, and Trust, MIT Press, 2001.
14. J.P. Bowen and M.G. Hinchey, "Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods," Proc. 10th Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), ACM Press, 2005, pp. 8-16.