DTIC ADA079276: Functional Specification of Asynchronous Processes pdf

DTIC ADA079276: Functional Specification of Asynchronous Processes

More Book Details

Description of the Book:

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

• Creator/s: Defense Technical Information Center
• Date: 3/1/1979
• Year: 1979
• Book Topics/Themes: DTIC Archive, Zave, Pamela, MARYLAND UNIV COLLEGE PARK COMPUTER SCIENCE CENTER, *ASYNCHRONOUS SYSTEMS, DIGITAL SYSTEMS, SYSTEMS ENGINEERING, COMPUTER AIDED DESIGN, SPECIFICATIONS, PARALLEL PROCESSING, FUNCTIONAL ANALYSIS

An excerpt captured from the PDF book