We want to share our latest insights regarding formal methods and requirements as well as the latest developments regarding our OpenSource tools, ProB and ProR. We will post new information roughly twice a month, so you won't be overwhelmed. You can either subscribe via email (below), subsribe to our RSS Feed or visit this page.
RMF im Eclipse Magazin
Submitted by Michael Jastram on Sat, 10/01/2011 - 00:00
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. Wir zeigen, wie man mit ProR Anforderungen bearbeiten kann und beschreiben, wie man ProR mit so genannten Präsentationen programmatisch erweitert.