Black-box specification in Spec
Loading...
Authors
Berzins, Valdis
Advisors
Second Readers
Subjects
Black-box specifications
Abstractions
Specification language
Computer aided software engineeering
Distributed systems
Real-time systems
Abstractions
Specification language
Computer aided software engineeering
Distributed systems
Real-time systems
Date of Issue
1991
Date
Publisher
Pergamon Press
Language
Abstract
This paper presents a language for giving black-box specifications in the early stages of software design. The underlying computational model combines message passing with temporal events in a precisely defined way. The features of the language, especially those important for large scale design are presented by means of examples.
Type
Article
Description
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
15 pages.
Citation
Valdis Berzins, "Black-box specifications in Spec," Computer Language, v.16, no.2 (1991), pp. 113-127
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.