Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment



    Kongress:

    National aerospace and electronics conference ; 1996 ; Dayton; OH



    Erscheinungsdatum :

    1996-01-01


    Format / Umfang :

    8 pages


    Anmerkungen:

    Also known as NAECON 1996. IEEE Cat nos 96CH35934 and 96CB35934




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    The knowledge-based software assistant

    Benner, Kevin M. / White, Douglas A. | NTRS | 1987


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997