ReqIF in the News (German)

In letzter Zeit wird wieder viel von ReqIF geredet.  Hervorheben möchten wir unter anderem die folgenden zwei Artikel:

Neben dem Thema "offene Standards" wird auch in beiden Artikeln das Thema Modellierung angesprochen. Insbesondere wurde bei Daimler MBSE (Model-Based Systems Engineering) als Schlüsseltechnologie erkannt.

Wir bei Formal Mind sind überzeugt, dass modellbasierte Entwicklung mit offenen Technologien die einzige Möglichkeit ist, das rasante Tempo bei der Entwicklung beizubehalten.  Modelle ermöglichen (teil)automatisierte Validierung, Verifizierung, Testgenerierung, Konsistenzprüfung, Änderungsmanagement und vieles mehr. Wenn aber die Modelle nicht offenen Standards folgen, dann machen sich die Hersteller auf eine gefährliche Art und Weise von den Herstellern der Software-Werkzeuge abhängig.

Viel Spaß beim Lesen – und wir freuen uns über Kommentare zu diesen Entwicklungen.


This article was published first at Formal Mind.

Where is ReqIF Today? Survey Results from ReConf 2015

ReConf is the largest conference on requirements engineering in Europe. Of course, Formal Mind was present, both with a talk and as an exhibitor.  We have already posted a retrospective.

At the same time we supervised a group of students who were participating in the Entrepreneurship Lab of the University of Düsseldorf.  Two of these students joined us at ReConf and surveyed attendees on ReqIF.  Following are some of the results that may be of interest to our readers.

German Alert: As the students produced a report in German, and the charts from the report that are shown here are in German as well.  In the context of this article, their interpretation should be fairly straight forward, even if you don't speak German.

New: Join the Discussion!

We recently enabled the ability to leave comments (at the bottom), so please join the discussion. Anonymous posting is possible, no need to sign up if you don't want to.

Two Out of Three Know RIF/ReqIF

During the two days in Munich, the students managed to interview almost 60 participants regarding their opinions about the Requirements Interchange Format (ReqIF).  As expected most of the respondents were requirements engineers (38%). The rest was a mix of managers, consultants and the like.

This article was published first at Formal Mind.

8. Juni: Vortrag in Bonn (kostenlos)

Für die Leser, die Deutsch sprechen und nächsten Montag in der Nähe von Bond sind, könnte die folgende Veranstaltung interessant sein: Michael Jastram wird beim Eclipse DemoCamp den Vortrag "Systementwicklung mit Eclipse in der Lehre" halten. Details hier >>

Teilnehmer erhalten ein kostenloses Exemplar vom formalmind Studio Handbuch (solange der Vorrat reicht)!

This article was published first at Formal Mind.

Why ReqIF is better than RIF

When the ReqIF standard was created, it was called RIF.  Only when the OMG took over the standard, it was renamed: Unfortunately, there was already an established standard called RIF, the W3C Rule Interchange Format.

Today, both ReqIF and RIF exist and are in use.  Many tools support RIF as well, so potential adopters may wonder why to go with the new ReqIF, when there is an established RIF standard around.  Which one to pick?

This article was published first at Formal Mind.

Finally See Big Cells as a Whole

Thousands of users are using formalmind Studio on a regular basis, and we get a lot of positive feedback and words of encouragement.  But there is one thing that drives many users mad: If an attribute is large, then it is not shown as a whole, but "truncated".  This is particularly annoying for embedded images.  While there has been a work-around (using edit mode), this was cumbersome and not really that user-friendly.

Therefore, we finally addressed this issue, by building a new Specification editor.  Don't worry the old one is still there, in case you prefer it.

This article was published first at Formal Mind.

ISO/IEC 29110 (Part 1): Lightweight Standard-based Software and Systems Engineering

Those familiar in the software and systems engineering domain are typically familiar with ISO/IEC 15288, a standard covering processes and life cycle stages. But it's huge, and small organizations have a hard time to justify its adaptation, for good reasons. For those not familiar with the standard should check out  What is ISO/IEC 15288 and Why Should I Care?

Before we Start: Some News

Last week, we spent in Munich at ReConf 2015.  We posted our impressions in a separate article – please check it out.

Also, the current issue of Eclipse Magazin (German) features the article "Entwicklung mit System: Systems Engineering mit Eclipse" by Michael Jastram.

This article was published first at Formal Mind.

ReConf 2015: A Retrospective

Demo of Axiom at the Formal Mind Booth at ReConf 2015Last week, ReConf 2015 took place in Munich – this conference is the biggest on requirements an Europe, and the place where the Who is Who of RE meets.  First impressions have already been posted.

Formal Mind was present in two capacities.  First, we an exhibitor, sharing a booth with our partner Orange Moon Systems.  Second, we had a talk at the science track, given by Michael Jastram.

This article was published first at Formal Mind.

New Documentation / New Writing / ReConf Special Sale

Better Documentation

A while ago, we migrated the user documentation of Eclipse RMF and formalmind Studio to a new publishing technology (Latex).  This allows us to publish the documentation at  the same time on the Web, as a PDF and as built-in tool documentation (Eclipse Help).  You can access the web and PDF from the Handbook page. In preparation for ReConf next week, we significantly improved the documentation.  Check out these improved chapters:

  • Overview – with sections on terminology and on the work of the ProStep implementor forum.
  • Import and Export – summarizes the options for getting data in and out of formalmind Studio.
  • Presentations – A concise documentation of all available presentations (plug-ins).
  • Searching – as the number of search options increased, we documented them properly.
  • ... and many, many smaller improvements.

This article was published first at Formal Mind.

Sprechen Sie deutsch? Or: How to make this blog as useful to you as possible

This is actually the 50th post to the Formal Mind blog. A reason to celebrate, but also a reason to reflect. The goal of this blog is to inform our readers on science in systems engineering.  Are we doing a good job?

To find out, we created a short one-page survey on the content of this blog.  In particular, we have a lot of readers in Germany, so we'd like to hear from you whether it is worth the while to offer a German translation of the blog articles.

This article was published first at Formal Mind.

Visualize your requirements (and see the talk at ReConf 2015)

Requirements require some effort to read and understand. But what if you could bring them to life? This is possible, and you can see this at this year's ReConf at the science track on Monday, March 16 2015.

Visit our booth us at ReConf 2015.  Please contact us to receive a discount code.

No matter how requirements are captured, there are usually two drawbacks about them: (1) They don't look like the "real thing", and (2) they are inanimate.

The first can be corrected to a degree by simply including images into your requirements document.  In fact, sometimes the marketing department will deliver some of the artwork.  The second is what can be fixed as described here, and what we will present at ReConf 2015.

This article was published first at Formal Mind.

This article was published first at Formal Mind

Our Blogs

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.

Contact us

+49 (211) 58 38 84 58


Subscribe to our monthly Newsletter (see what to expect)

By providing your email and clicking "Subscribe", you allow Formal Mind GmbH to send you regular emails regarding requirements knowledge, as well as the occasional message regarding their products and services. I can withdraw my agreement any time.