ProB-Validierung für Siemens SAS
Durch die Anpassung des ProB-Modellprüfers konnte die Dauer der Datenvalidierung am Wegesrand von Wochen auf Minuten reduziert werden.
Was tun, wenn das bürogestützte Anforderungsmanagement ausgewachsen ist? ProR Essentials bei resolut
Durch die Verwendung von Open Source wurde die Neutralität der Ergebnisse sichergestellt. Damit hat Formal Mind wesentlich zur Verbreitung und Akzeptanz des ReqIF-Standards beigetragen.
Work Package Leadership für openETCS im Auftrag der Deutschen Bahn
Formal Mind, das Wissen und die Erfahrung mit Eclipse-basierten Projekten sowie das exzellente Management und die Führung durch Michael Jastram haben der “openETCS software tools development” einen herausragenden Erfolg beschert.
Erstellung des Rodin-Handbuchs
Michael Jastram und das Düsseldorfer Team haben hervorragende Arbeit bei der Zusammenstellung, Erweiterung und Verbesserung verschiedener Dokumentationsquellen zum Rodin-Tool geleistet.
Effektive Nutzung von Open Source zur Standardisierung von ReqIF
Durch die Verwendung von Open Source wurde die Neutralität der Ergebnisse gewährleistet.
