Functional Specification of Asynchronous Processes and Its Application to the Early Phases of System Development.
Pamela Zave · Defense Technical Information Center (DTIC) · 1979
This paper introduces a functional language for system specification, and shows how it can be extended to the domain of asynchronously interacting processes. The language has many desirable properties for design specification, and is also an effective vehicle for the specification of requirements. It is argued that the primitive concepts of this language are basic building blocks that can support a methodology in which all system development phases use the same language and are related to one another by well-structured elaborations. (Author)