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 >>

What happens if you start with UML, take a little away, add something new and tweak it a bit?  Depending on what exactly you add, you may end up with SysML.  SysML created some excitement in the requirements engineering (RE) community, as it provides some rudimentary tools for creating traceability between requirements and model elements.…

Read more >>

ProB 1.3.4 is available. The highlights of this release are: an “Evaluation View” to inspect formulas and values, an interactive “Eval” window to evaluate expressions and predicates, support for CSP assertion checking, an improved editor, e.g., with on-the-fly syntax highlighting, 64-bit versions for Mac and Linux are now available, several performance improvements.   Go to the…

Read more >>

It took a long time, but we finally achieved it: RMF, and therefore ProR as well, passed the Eclipse IP Review.  A reason to celebrate! So what’s the next step?  We’ll populate the Eclipse Repository and will finally pick up development again. We will also strive to make a release as soon as possible.  This…

Read more >>

Do you remember working for the first time with a tool that supported traceability?  What a change going from, say, word for capturing requirements to DOORS.  And do you remember the moment when the honeymoon was over?  There are many things that can make requirements traceability frustrating: What exactly is the meaning of a trace? …

Read more >>

Wir werden mit einem Vortrag auf der EclipseCon 2011 in Ludwigsburg vertreten sein.  Am 3. November um 16:30 hält Michael Jastram mit Andreas Graf den Vortrag Requirements Modeling Framework: a Game-Changer.

Read more >>

Michael Jastram hat zusammen mit Andreas Graf einen Artikel zum RMF im Eclipse-Magazin veröffentlicht: Requirements Modeling Framework Im August 2011 hat das Requirements Modeling Framework (RMF) das Licht der Welt erblickt. RMF besteht aus einem Kern, der Daten im Requirements Exchange Format (RIF/ReqIf) verarbeiten kann, und einem GUI namens ProR zur komfortablen Verwaltung der Daten.…

Read more >>

We are very excited to announce that ProR is now part of the Eclipse Foundation Requirements Modeling Framework (RMF).  We decided to use the name RMF (rather than ProR), to keep the distinction between the GUI (ProR) and the various RIF/ReqIF cores.  The initial submission to the Eclipse foundation consists of the cores for RIF…

Read more >>

ProB 1.3.3 and ProB for Rodin 2.1 is available. Highlights: improved performance, constrained-based deadlock checking, record detection, and many more. Find out more on the ProB pages.

Read more >>