An Introduction to the Specification Language Spec

Author-contributed print itemThis 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