Die vorliegenden Konferenzberichte befassen sich mit Software-Entwicklung und Avionik: Die erste Sitzung befasst sich mit Avionik-Software und ihrer Entwicklung und Entwurf - MASCOT; auf der zweiten Sitzung wurden Systemfragen und Softwareanalyse behandelt, Computer-unterstuetztes Spezifikationssystem EASY, MENTOR; die dritte Sitzung befasst sich mit Software-Entwurf und Entwicklungsprozessen: Standardisierung von Avionik-Software, Flugprogrammen; Programmiersprachen hoeherer Ordnung; Echtzeitsystemen; Software fuer elektronische Kampffuehrung; die vierte Sitzung behandelte Softwareverifizierung: Teststrategie fuer Echtzeitbetrieb, Software fuer Tornado-Flugkontrolle, Mikroprogrammen, Fehlererkennung; die fuenfte Sitzung behandelt Betrachtungen ueber Software-Lebenszyklen: Softwareengineering fuer Waffensysteme.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    AGARD conf. proc. No. 330. Software f. avionics, The Hague - Kijkduin, NL, Sept. 6-10, 1982


    Weitere Titelangaben:

    AGARD Konferenzberichte No. 330. Software fuer Avionik, The Hague-Kijkduin, NL, 6.-10. Sept., 1982


    Erscheinungsdatum :

    1983


    Format / Umfang :

    421 Seiten


    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch