A specifier's introduction to formal methods
The work
| Title | A specifier's introduction to formal methods |
|---|---|
| Authors | J. M. Wing |
| Type | article |
| Year | 1990 |
| Citekey | wing1990specifiers |
Where it appeared
| Published in | Computer |
|---|---|
| Publisher | IEEE Computer Society |
| Volume | 23 |
| Issue | 9 |
| Pages | 8--22 |
Identifiers
| DOI | 10.1109/2.58215 |
|---|---|
| OpenAlex | W2170486381 |
Access
| Landing page | https://doi.org/10.1109/2.58215 |
|---|
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.>
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@article{wing1990specifiers,
title = {A specifier's introduction to formal methods},
author = {J. M. Wing},
year = {1990},
journal = {Computer},
volume = {23},
number = {9},
pages = {8--22},
publisher = {IEEE Computer Society},
doi = {10.1109/2.58215},
url = {https://doi.org/10.1109/2.58215},
}
This record lives at https://refs.drheap.org/wing1990specifiers/ and will keep doing so.