SPECIAL Reference Manual.
STANFORD RESEARCH INST MENLO PARK CALIF COMPUTER SCIENCE LAB
Pagination or Media Count:
This document describes the specification language SPECIAL, which is a tool developed for the design of large software systems. The language is based on a methodology using the concept of a hierarchy of modules, and provides a convenient facility for the description of the properties of such modules. The syntax of the language is described, as well as the semantic notions related to its various constructs. Author
- Information Science
- Computer Programming and Software