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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Specification Language


    Contributors:

    Published in:

    Publication date :

    1983-10-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    xBreeze/ADL: A language for software architecture specification and analysis

    Li, C. / Yang, H. J. / Shi, M. Y. et al. | British Library Online Contents | 2016


    SOFTWARE SPECIFICATION APPARATUS

    KOMAI SHO | European Patent Office | 2022

    Free access

    HAL/SM language specification

    Williams, G.P.W. / Ross, C. | Tema Archive | 1975


    HAL/S language specification

    Newbold, P. M. | NTRS | 1974


    Generic Avionics Software Specification

    C. D. Locke / D. R. Vogel / L. Lucas et al. | NTIS | 1990