Probleme der Guetesicherung von EDV-Software (SW)
Software-Engineering fuer die Flug-Zuverlaessigkeit
Entwicklungstechnik sicherheitsverantwortlicher Software in der Eisenbahn-Signaltechnik
Werkzeuggestuetzte Verifikation des Entwurfs von Software
SDI Considered harmful - Ansaetze zum Umdenken in der Softwaretechnik
OPTOPILOT - ein Forschungsansatz zur Spurerkennung und Spurfuehrung bei Strassenfahrzeugen
Software fuer Sicherheitssysteme. Systementwurf fuer sichere Rechnersysteme
Ausgewaehlte EDV-Anwendung auf DEC-HW im Bereich der Flugsicherung
Erfahrungen beim Aufbau einer computerunterstützten Entwicklungsumgebung für Kfz-Elektronik
Deutsche Bundesbahn: SW-Tool unterstützt Großprojekt zur Transportsteuerung. Bahn frei für CASE
Methodische Fragen bei der Prüfung der Softwaresicherheit
Verfahren zur Optimierung des Rangierbetriebs
Der Software-Entwicklungsstandard der Bundeswehr