Formal Mind Blog

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

  • Agile Requirements with ProR

    During the last couple of years, agile methods were experiences a renaissance in systems development.  Organizations started to adapt their processes, and this included requirements engineering.    It’s actually tragic that at some point, agile development and requirements management were considered mutually exclusive.  This is certainly not the case, and common sense suggests that a […]

    Read more >>


  • RMF/ProR 0.3.0 released – so what’s new?

    The RMF team is delighted to announce the 0.3.0 release of RMF and ProR.  If you currently use an older version, please be sure to update.  Please note that there is a separate update site for 0.3.0, so you won’t get the update automatically. You can download ProR here. We believe that ProR now reached […]

    Read more >>


  • Integrating Requirements and Models

    While requirements engineering in itself is already useful, integrating it with other elements from the system development process can increase its value significantly.  We already hinted at this in our scientific work with respect to traceability, or our thoughts of an integration with Topcased.  Our latest ideas were just submitted for publication. Picture a scenario […]

    Read more >>


  • Anforderungs-Templates mit ProR

    English-Readers: Please excuse that the following article is written in German. Im HOOD-Blog wurde vor kurzem gezeigt, wie man mit Anforderungs-Templates besser im Projekt arbeiten kann.  Seit dem letzten Release sind in ProR alle Features vorhanden, um mit solchen Templates umgehen zu können.  Das Ergebnis ist im folgenden Screenshot zu sehen, und die ReqIF-Datei kann […]

    Read more >>


  • Well Worth the Wait: New ProR Integration Release (0.2.0)

    The RMF team is proud to announce the i12.03 Integration build, which brings significant improvements both in the core and the ProR user interface.  Please download it at the RMF download site. In this iteration, we were focusing on the GUI and on the integration of a new core, as well as infrastructure.  Most of […]

    Read more >>


  • ProB Logic Calculator

    A first prototype of a ProB Logic Calculator is now available online. With it you can evaluate arbitrary expressions and predicates (using B Syntax). It is a great way to learn about B, predicate logic and set theory or even just to solve arithmetic constraints and puzzles. An alternative embedded ProB Logic shell is directly […]

    Read more >>


  • Next ProR snapshot coming up soon – please help us prioritize!

    The presentation of ProR and RMF at the ReConf in Munich this week was well received.  We got plenty of constructive feedback both from real and potential users, as well as from contributors. We pledged to create a snapshot build every two months, and we will now focus on getting the March snapshot ready.  The […]

    Read more >>


  • Science meets Industry (20.03.2012)

    (Apologies to English speakers: This is an announcement in German for a German-language event) Innovationen vorstellen, Wissen austauschen und Kooperationen anregen – das ist das Motto der Veranstaltungsreihe Science meets Industry an der Heinrich-Heine-Universität Düsseldorf (HHU).  Beim nächsten Treffen am 20. März 2012 werden die Projekte aus dem Bereich Softwaretechnik und dynamischen Programmiersprachen vorgestellt, von […]

    Read more >>


  • ProR, RMF and Formal Mind at ReConf 2012

    ReConf is one of the biggest requirements conferences in Europe, and Michael Jastram has been a regular speaker since 2007.  This year, he will give two talks: Structuring of Requirements for a tight integration with Models: requirements management and modeling are related and complementary, but how tightly are they integrated in practice? Take SysML for […]

    Read more >>


  • ProR Snapshot Build available

    Good news to everyone interested in ProR – we finally have a snapshot build available on the RMF website.  If you are interested in ProR, ReqIF, etc., please give it a spin. The last release took place in August 2011 – an eternity ago, as far as software is concerned.  The reason for this long […]

    Read more >>


Sign up!

Subscribe to our Newsletter