Ten Commandments of Formal Methods ...Ten Years Later

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jonathan P. Bowen Articles by Michael G. Hinchey

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

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.