Software Specifications of Interactive Systems: A Multi-Level Approach

A major difficulty in the specification of contractual software is the communication gap between the customers and the designers. Both groups are active participants. but their different backgrounds can cause misunderstandings that show up later in the specification document. This paper analyzes the role of both groups in the specification process. It uses the model of DARWIN, an environment for writing software requirements and specifications, and describes how customers and designers interact through the model. Special emphasis is placed on specifications of interactive computer systems. Experience with DARWXN is presented, and research directions are discussed.
Note: Abstract extracted from PDF file via OCR

Wartik, Steven, and Arthur Pyster. "Software Specifications of Interactive Systems: A Multi-Level Approach." University of Virginia Dept. of Computer Science Tech Report (1985).