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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software Specification Language


    Beteiligte:
    Buckles, B. P. (Autor:in) / Ryan, J. P. (Autor:in) / Austin, S. L. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.10.1983



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 | Europäisches Patentamt | 2022

    Freier Zugriff

    HAL/SM language specification

    Williams, G.P.W. / Ross, C. | Tema Archiv | 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