The Community for Technology Leaders
Green Image
Issue No. 01 - January (2006 vol. 39)
ISSN: 0018-9162
pp: 40-48
Jonathan P. Bowen , London South Bank University
Michael G. Hinchey , NASA Software Engineering Laboratory
ABSTRACT
How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.
INDEX TERMS
Formal methods, Software engineering, Unified Modeling Language, Standards
CITATION
Jonathan P. Bowen, Michael G. Hinchey, "Ten Commandments of Formal Methods ...Ten Years Later", Computer, vol. 39, no. , pp. 40-48, January 2006, doi:10.1109/MC.2006.35
104 ms
(Ver 3.1 (10032016))