The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1990 vol.23)
pp: 8, 10-23
ABSTRACT
<p>Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are defined, and their role is delineated. Formal specification languages, which provide the formal method's mathematical basis, are examined. Certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed. Six well-known or commonly used formal methods are illustrated by simple examples. They are Z, VDM, Larch, temporal logic, CSP, and transition axioms.</p>
CITATION
Jeanette M. Wing, "A Specifier's Introduction to Formal Methods", Computer, vol.23, no. 9, pp. 8, 10-23, September 1990, doi:10.1109/2.58215
37 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool