loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ten Commandments of Formal Methods ...Ten Years Later
January 2006 (vol. 39 no. 1)
pp. 40-48
ASCII Text
x 
 
Jonathan P. Bowen, Michael G. Hinchey, "Ten Commandments of Formal Methods ...Ten Years Later," Computer, vol. 39, no. 1, pp. 40-48, January, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MC.2006.35,
author = {Jonathan P. Bowen and Michael G. Hinchey},
title = {Ten Commandments of Formal Methods ...Ten Years Later},
journal ={Computer},
volume = {39},
number = {1},
issn = {0018-9162},
year = {2006},
pages = {40-48},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.35},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Ten Commandments of Formal Methods ...Ten Years Later
IS - 1
SN - 0018-9162
SP40
EP48
EPD - 40-48
A1 - Jonathan P. Bowen,
A1 - Michael G. Hinchey,
PY - 2006
KW - Formal methods
KW - Software engineering
KW - Unified Modeling Language
KW - Standards
VL - 39
JA - Computer
ER -
 
Jonathan P. Bowen, London South Bank University
Michael G. Hinchey, NASA Software Engineering Laboratory
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. 1, pp. 40-48, Jan. 2006, doi:10.1109/MC.2006.35
Usage of this product signifies your acceptance of the Terms of Use.