Case Studies
Nothing is more convincing than seeing Product Velocity in action.
Product Velocity Case Studies
These case studies illustrate Product Velocity principles in real development environments.
Systems Engineering Case Studies
These case study demonstrate success stories by Formal Mind based on Systems Engineering, rather than Product Velocity.
ProB Validation for Siemens SAS
Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes.
What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut
By using open source, the neutrality of the results was ensured. With this, Formal Mind contributed significantly to the spread and acceptance of the ReqIF standard.
Work Package Leadership for openETCS on Behalf of Deutsche Bahn
Formal Mind, with knowledge and experience of Eclipse-based projects, as well as excellent management and leadership by Michael Jastram, have brought the “openETCS software tools development” outstanding success.
Production of the Rodin Handbook
Michael Jastram and the team at Düsseldorf have done an excelent job in putting together, extending and improving various sources of documentation on the Rodin tool.
Effective Use of Open Source for Standardizing ReqIF
By using open source, the neutrality of the results was ensured.
