Accession Number:

ADA038254

Title:

SPECIAL Reference Manual.

Descriptive Note:

Technical rept.,

Corporate Author:

STANFORD RESEARCH INST MENLO PARK CALIF COMPUTER SCIENCE LAB

Personal Author(s):

Report Date:

1977-01-01

Pagination or Media Count:

62.0

Abstract:

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

Subject Categories:

  • Information Science
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE