Archive for the Blog Category

Don’t make traceability a waste of time

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:

Read more

Formal Mind auf der EclipseCon 2011

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

RMF im Eclipse Magazin

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

Read more

ProR is part of RMF

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

Read more

ProB 1.3.3 released

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
Page 8 of 8« First...45678