Rich text support for ProR

The ReqIF standard supports rich text, as do most professional requirements tools.  ProR, so far, did not support it.  Currently, ProR takes advantage of the “simplified” flag in ReqIF which allows tools to indicate that they don’t support rich text.  This was a temporary workaround, but obviously

Read more

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

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

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

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.

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

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

Read more