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.
AGARD conf. proc. No. 330. Software f. avionics, The Hague - Kijkduin, NL, Sept. 6-10, 1982
AGARD Konferenzberichte No. 330. Software fuer Avionik, The Hague-Kijkduin, NL, 6.-10. Sept., 1982
1983
421 Seiten
Conference Proceedings
English