DocumentCode
3091749
Title
The design of software interfaces in Spec
Author
Berzins, Valdis
Author_Institution
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
fYear
1988
fDate
9-13 Oct 1988
Firstpage
266
Lastpage
270
Abstract
Spec, a language for giving black-box specifications in the early stages of software design is presented. 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 example
Keywords
specification languages; Spec; black-box specifications; computational model; large-scale design; message passing; software design; software interfaces; temporal events; Computer languages; Computer science; Concrete; Formal specifications; Large-scale systems; Programming; Real time systems; Software design; Specification languages; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location
Miami Beach, FL
Print_ISBN
0-8186-0874-9
Type
conf
DOI
10.1109/ICCL.1988.13073
Filename
13073
Link To Document