Towards better specifications
Yeung Wai Suen · Digital Commons - Lingnan (Lingnan University) · 1997
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.