SPECIAL Reference Manual.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1977
Accession Number
ADA038254

Entities

People

  • Lawrence Robinson
  • Olivier Roubine

Organizations

  • SRI International

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computers
  • Consistency
  • Electronics
  • Electronics Laboratories
  • Environment
  • Grammars
  • Hierarchies
  • Language
  • Operating Systems
  • Personality
  • Programming Languages
  • Qualifications
  • Sequences
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.