Formal Mind Blog

News on Open Systems Engineering – usually once a month. Consider subscribing by E-Mail

  • ReqIF is here – what now?

    The Requirements Interchange Format (ReqIF) came a long way, ever since its inception in 2004, when members of the Herstellerinitiative Software (HIS), a trade association of five major car manufacturers, decided to commission the creation of a requirements exchange format.  Step by step, the standard became more mature and was changing patronage, until it finally […]

    Read more >>


  • RMF/ProR 0.8.0 available

    The RMF team is proud to announce the 0.8.0 version of RMF and ProR (Download) to spice up your summer.  The most visible improvements regards the handling of default values, which we will describe further below.  You can also import examples into your workspace via File | New | Example…. This should be useful to […]

    Read more >>


  • Using RMF to integrate your models

    We’ve all seen it: You need to write a spec, so you open Word, write some text, you copy a state diagram from Enterprise Architect, and eventually send it off as a PDF. Okay, things are slightly better now. In the Eclipse ecosystem, maybe you are using Papyrus for modeling with UML or SysML. You […]

    Read more >>


  • Reporting for ProR – We need your opinion!

    ProR doesn’t yet support mature reporting features. Right now only a simple HTML-Version of a requirements document can be generated (you can access this via the print menu). A better visual representation of the requirements document has been requested many times by users. For instance, such a reporting mechanism would support analysis and traceability. We are […]

    Read more >>


  • Use Cases with ProR

    Use Cases are a popular method for recording requirements.  With little effort, ProR can make recording Use Cases easy and traceable. To demonstrate this, we use ProR itself as an example.  Below is a screenshot of ProR, recording the use case “Create a new SpecObject”.  You can download this requirements model from the Eclipse git […]

    Read more >>


  • Data Validation & Reverse Engineering

    At the core of the B-Method is a very expressive language rooted in predicate logic, set theory, relational calculus, higher-order functions and arithmetic. At the heart of our ProB toolset is an evaluator and constraint solver for this language. We strive for both efficiency and correctness, such that the tool can be used in a safety-critical context. […]

    Read more >>


  • Termin vormerken: SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen (27. Mai 2013)

    Formal Geist freut sich, Sie auf der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang laden: n n   SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Monday, May 27th, 201310:00-12:30 University of Düsseldorf Room 25.12.2.55 Vortrag wird in deutscher Sprache abgehalten werden. Nicht-Mitglieder des Lehrkörpers, Anmeldung erbeten bei info@formalmind.com   Abstract: Die […]

    Read more >>


  • Save the date: SysML, formal semantics and their uses in model-based testing (May 27th 2013)

    Formal Mind is pleased to invite you to the following event with Professor Jan Peleska and Professor Wen-Ling Huang: SysML, Formal Semantics and Their Uses in Model-Based Testing Monday, May 27th, 2013, 10:00-12:30 University of Düsseldorf Room 25.12.2.55 Lecture will be held in German. Participation is free of charge. Non-Faculty members, please rsvp at info@formalmind.com […]

    Read more >>


  • Better Link creation with RMF ProR 0.7.0

    We are proud to announce the release of RMF ProR 0.7.0 and ProR Essentials 0.7.0.  Download them now from the Eclipse website.  If you already have ProR 0.5.0 or newer, simply update via Help | Check for Updates. In Version 0.7.0, 16 features and bugs have been implemented/fixed. The biggest visible improvement for users is […]

    Read more >>


  • Getting the most out of collaborations between science and industry

    The Atlas is a remarkable detector.  It weighs as much as the Eiffel tower, consists of 10 million parts, and generates more data each day than Twitter does.  But as a recent Economist article states, as impressive is the fact that it is a collaboration involving more than 3,000 researchers from 175 institutes in 38 […]

    Read more >>


Sign up!

Subscribe to our Newsletter