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.
|Title of host publication||TENCON 87 - Computers and Communications Technology Toward 2000|
|Publisher||IEEE, New York, NY, USA|
|Number of pages||5|
|Publication status||Published - 1 Jan 1987|