Abonnieren

Erfolgsgeschichten

Das wir unsere Versprechen halten, das zeigen wir mit unseren Erfolgsgeschichten. Im Folgenden finden Sie eine Auswahl von Projekten, die wir erfolgreich abgewickelt haben.

Was tun, wenn Office für Anforderungsmanagement aus den nähten platzt? ProR Essentials bei resolut

Was tun, wenn Office für Anforderungsmanagement aus den nähten platzt? ProR Essentials bei resolut

Für die Entwicklung mechatronischer Systeme wurde Word von ProR abgelöst

Weiterlesen
openETCS

Leitung eines Arbeitspakets von openETCS für die Deutsche Bahn

Für ein EU-Forschungsprojekt leiteten wir erfolgreich das Arbeitspaket zur Entwicklung einer Softwarekette.

Weiterlesen
Effektiver Einsatz von Open Source für Standardisierung von ReqIF

Effektiver Einsatz von Open Source für Standardisierung von ReqIF

Der Einsatz von dem Open Source-Projekt für die ProSTEP hat maßgeblich zu der Verbreitung des ReqIF-Standards beigetragen.

Weiterlesen
TGV

ProB Validierung für Siemens SAS

Die Validierung der Projektierungdaten konnte von Wochen auf Minuten durch die Anpassung des ProB-Modelcheckers drastisch reduziert werden.

Weiterlesen
Rodin Handbook

Erstellung Rodin Handbook

Formal Mind produces a sophisticated handbook for a EU research project

Weiterlesen