Bestandteil dieses Seminars sind Ansätze und Techniken im Bereich des Avionic Software Engineering. Dies betrifft alle Phasen des System- und Softwareentwicklungszyklus von der Anforderungsanalyse bis hin zum Testen. Themen behandeln verschieden Aspekte daraus, u.a. Modellierungstechniken, domänenspezifische Sprachen und autonomes Fliegen.