A specifier's introduction to formal methods

The work

AuthorsJeannette M. Wing
Editors
Typearticle
Year1990
Citekeywing1990specifiers

Where it appeared

Published inComputer
PublisherIEEE Computer Society
Volume23
Issue9
Pages8--22

Identifiers

DOI10.1109/2.58215
OpenAlexW2170486381

Access

Landing pagehttps://doi.org/10.1109/2.58215

Related

Supersedeswing1989what Stated on the copy of wing1990specifiers, which is the technical report CMU-CS-90-136: "This TR supersedes CMU-CS-TR-89-200, 'What is a Formal Method?'". CMU-CS-89-200 is wing1989what.

Abstract

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.

A copy is held

pdf, 1.6 MB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-21 22:06 UTC

Filed under

do-formal-methods-pay ieee-computer the-copy-is-not-the-work who-paid-for-the-foundations wing

Cite it as

@article{wing1990specifiers,
  title        = {A specifier's introduction to formal methods},
  author       = {Jeannette M. Wing},
  year         = {1990},
  journal      = {Computer},
  publisher    = {IEEE Computer Society},
  volume       = {23},
  number       = {9},
  pages        = {8--22},
  doi          = {10.1109/2.58215},
}

This record lives at https://refs.drheap.org/wing1990specifiers/ and will keep doing so.