Towards better specifications

Yeung Wai SUEN

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)


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 languageEnglish
Title of host publicationTENCON 87 - Computers and Communications Technology Toward 2000
PublisherIEEE, New York, NY, USA
Number of pages5
Publication statusPublished - 1 Jan 1987

Fingerprint Dive into the research topics of 'Towards better specifications'. Together they form a unique fingerprint.

  • Cite this

    SUEN, Y. W. (1987). Towards better specifications. In TENCON 87 - Computers and Communications Technology Toward 2000 (pp. 811-815). IEEE, New York, NY, USA.