Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Introducing a Software Design Language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
"Structured programming" considered harmful
ACM SIGPLAN Notices
The design of a PDL environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
| Hi-index | 0.00 |
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.