Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
Bidirektionale Transformation zwischen GRAFCET‐Spezifikationen und IEC 61131‐3 Steuerungscodes
Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Entwicklung der Forschungssoftware RCE im DLR