Informality in Program Specifications
Abstract
This work is concerned primarily with (1) the procedure by which process-oriented specifications are obtained from goal-oriented requirement specifications and (2) computer based tools for their construction. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language. The key to overcoming these difficulties seems to be the careful introduction of informality (i.e., partial, rather than complete, descriptions and the use of a computer-based tool that uses context extensively to complete these descriptions during the process of constructing a well-formed specification. Some results obtained by a running prototype of such a computer- based tool on a few informal example specifications are presented and, finally, some of the techniques used by this prototype system are discussed.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1977
- Accession Number
- ADA041669
Entities
People
- David Wile
- Neil Goldman
- Robert Balzer
Organizations
- University of Southern California