Defense Technical Information Center (DTIC) · 1977 · 33 citations · 0 references
ComputingComputer ScienceSystems EngineeringFormal MethodsSoftware EngineeringSystems ArchitectureDesign SpecificationSoftware ArchitectureSoftware ConstructionSoftware DesignSoftware DocumentationSpecification LanguagesModule SemanticsSpecification Modeling
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)