Towards better specifications
TENCON 87 - Computers and Communications Technology Toward 2000
IEEE, New York, NY, USA
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.
Access to external full text or publisher's version may require subscription.