SSL translator aids in developing and checking software systems. Goal of SSL is to provide form of verification and consistency checking early in design phase. Serves as formal document to communicate software architecure to detailed designers.
Software Specification Language
NASA Tech Briefs ; 7 , 4
1983-10-01
Miscellaneous
No indication
English
xBreeze/ADL: A language for software architecture specification and analysis
British Library Online Contents | 2016
|Tema Archive | 1975
|NTRS | 1974
|Generic Avionics Software Specification
NTIS | 1990
|