This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Specifier's Introduction to Formal Methods
September 1990 (vol. 23 no. 9)
pp. 8, 10-23

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.

Citation:
Jeanette M. Wing, "A Specifier's Introduction to Formal Methods," Computer, vol. 23, no. 9, pp. 8, 10-23, Sept. 1990, doi:10.1109/2.58215
Usage of this product signifies your acceptance of the Terms of Use.