Papers presented at RICIS Software Engineering Symposium are compiled. The following subject areas are covered: flight critical software; management of real-time Ada; software reuse; megaprogramming software; Ada net; POSIX and Ada integration in the Space Station Freedom Program; and assessment of formal methods for trustworthy computer systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    RICIS Software Engineering 90 Symposium: Aerospace Applications and Research Directions Proceedings Appendices


    Erscheinungsdatum :

    01.01.1990


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch