Functional Specification of Asynchronous Processes and Its Application to the Early Phases of System Development.

Abstract

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1979
Accession Number
ADA079276

Entities

People

  • Pamela Zave

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Complex Systems
  • Computer Science
  • Consumers
  • Databases
  • Encapsulation
  • Engineering
  • Language
  • Lists (Data Structures)
  • Mathematical Programming
  • Parallel Computing
  • Parallel Processing
  • Software Development
  • Specifications
  • Systems Engineering
  • Test And Evaluation
  • Universities

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Software Engineering.