The design of software interfaces in Spec

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.<>