Ten Commandments of Formal Methods

Jonathan P. Bowen; Michael G. Hinchey

doi:10.1109/2.375178

Ten Commandments of Formal Methods

Jonathan P. Bowen
, Michael G. Hinchey

Research output: Contribution to specialist publication › Article

Abstract

Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.

Original language	English
Pages	56-63
Number of pages	8
Volume	28
No.	4
Specialist publication	Computer
DOIs	https://doi.org/10.1109/2.375178
Publication status	Published - Apr 1995
Externally published	Yes

Access to Document

10.1109/2.375178

Cite this

@misc{0e1a4a39d24e47aea59cec6829f5a206,

title = "Ten Commandments of Formal Methods",

abstract = "Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.",

author = "Bowen, \{Jonathan P.\} and Hinchey, \{Michael G.\}",

year = "1995",

month = apr,

doi = "10.1109/2.375178",

language = "English",

volume = "28",

pages = "56--63",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Ten Commandments of Formal Methods

AU - Bowen, Jonathan P.

AU - Hinchey, Michael G.

PY - 1995/4

Y1 - 1995/4

N2 - Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.

AB - Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.

UR - https://www.scopus.com/pages/publications/0029290423

U2 - 10.1109/2.375178

DO - 10.1109/2.375178

M3 - Article

AN - SCOPUS:0029290423

SN - 0018-9162

VL - 28

SP - 56

EP - 63

JO - Computer

JF - Computer

ER -

Ten Commandments of Formal Methods

Abstract

Access to Document

Other files and links

Fingerprint

Cite this