Abstract
The author presents a tutorial intended for the general reader who desires a broader knowledge of how to write precise specifications. He begins by defining what a specification is and how specifications can be compared. The problems of writing specification methods is then given under three broad headings: informal, semiformal, and formal. Current and probable future trends in specification techniques are discussed.
| Original language | English |
|---|---|
| Title of host publication | TENCON 87 - Computers and Communications Technology Toward 2000 |
| Publisher | IEEE, New York, NY, USA |
| Pages | 811-815 |
| Number of pages | 5 |
| Publication status | Published - 1 Jan 1987 |