Towards better specifications

Yeung Wai SUEN

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

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 languageEnglish
Title of host publicationTENCON 87 - Computers and Communications Technology Toward 2000
PublisherIEEE, New York, NY, USA
Pages811-815
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