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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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


    Publication date :

    1983


    Size :

    421 Seiten


    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    English