Formal module level specifications
- 1 January 1977
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 138-144
- https://doi.org/10.1145/800179.810194
Abstract
SSL (Software Specification Language) is part of the growing shift of emphasis in software engineering from the latter software development phases to the earlier ones. The purpose of the language is to aid in the process of decomposing functions into subfunctions or, equivalently, systems into subsystems and modules. A formal description of the syntax and semantics exists which has enabled the construction of an automatic translator. The translator makes a series of nontrivial consistency checks based primarily on a system flow model that is assumed to exist apart from the SSL description. The essence of the flow model is captured implicitly by several features within the language.This publication has 0 references indexed in Scilit: