Title :
The design of software interfaces in Spec
Author_Institution :
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
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;
Conference_Titel :
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-0874-9
DOI :
10.1109/ICCL.1988.13073
