An Introduction to the Specification Language Spec

Loading...
Thumbnail Image
Authors
Berzins, V.
Luqi
Subjects
Advisors
Date of Issue
1988
Date
1988
Publisher
Naval Postgraduate School
Language
en_US
Abstract
This paper presents a language for giving black-box specifications in the early stages of software design. This language is suitable for describing parallel programs, distributed systems, and real- time constraints. The underlying computational model combines temporal events with message passing to support descriptions of both active and reactive systems. The features of the language, especially those important for large scale design, are presented by means of examples.
Type
Technical Report
Description
Author-contributed print item
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS 52-88-031
Sponsors
Funder
Format
Citation
V. Berzins and Luqi, "An Introduction to the Specification Language Spec", Technical Report NPS 52- 88-031, Computer Science Department, Naval Postgraduate School, 1988.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections