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