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. An alternative embedded ProB Logic shell is directly…
The presentation of ProR and RMF at the ReConf in Munich this week was well received. We got plenty of constructive feedback both from real and potential users, as well as from contributors. We pledged to create a snapshot build every two months, and we will now focus on getting the March snapshot ready. The…
(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 dem Bereich Softwaretechnik und dynamischen Programmiersprachen vorgestellt, von…
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 are they integrated in practice? Take SysML for…
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…
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….
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…
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…
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? …
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.
