Title

Towards better specifications

Document Type

Conference paper

Source Publication

TENCON 87 - Computers and Communications Technology Toward 2000

Publication Date

1-1-1987

First Page

811

Last Page

815

Publisher

IEEE, New York, NY, USA

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.

Publisher Statement

Access to external full text or publisher's version may require subscription.

Full-text Version

Publisher’s Version

Language

English

Share

COinS