|
| 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 - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.35
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.