Subscribe

Archive for the Blog Category

New Stuff: New Committer, New Product, New Importer, New Release

We haven’t written in a while, and, as a consequence, there is plenty of news that we would like to share. Axiom – ReqIF-based requirements exchange Don’t worry: We will still provide plenty of technical insights on requirements and Eclipse in this newsletter.  But we also want

Read more

formalmind Studio & ProR improvements – and beta program about to start

We just uploaded a new version of formalmind Studio on our servers.  If you are already using formalmind Studio, it should offer by itself to update, or check manually via Help | Check for Updates. So, what’s new? Beta Test of Exchange Component has started We just

Read more

Learn about Requirements and Systems Engineering

With the free formalmind Studio, it is finally possible to do professional requirements engineering, without having to invests thousands in a tool that offers far more than the typical user needs.  While we’re working on improving the documentation, getting started can be a challenge.  But fear not,

Read more

The Standards Jungle of Systems Engineering

ISO 26262 The Standards Jungle of Systems Engineering  

Read more

Rodin Handbook Now Available in Print

A while ago, we supported the EU project Deploy and produced a handbook for the Rodin platform, a tool for creating formal specifications using the Event-B method.  This book was a great success, but only available electronically (for free, licensed under a Creative Commons license). Due to

Read more

ProR 0.10.0 Available Via formalmind Studio – Download Now!

You may have noticed that a lot of time has passed since the last release or ProR, which was 0.9.0.  Be assured that we’ve been busy behind the scenes: The next release, 0.10.0, will comply with the Eclipse Release Process.  And this is a lot of work.

Read more

Traceability between UML and Requirements with ProR

Working with Requirements should not be an isolated activity – they interact with many aspects of the development process: progress is tracked by checking how many requirements have been implemented; tests demonstrate that requirements are correctly implemented; elements of the system specification show how requirements will be

Read more

Reporting for ProR – the Results

Half a year ago, we announced that a student, Said Salem, would work on creating a better reporting solution for ProR in the context of his master thesis.  The good news is: He completed his thesis and passed the exam.  The bad news: The resulting implementations did

Read more

What’s keeping you from using ProR in production?

The ProR tool already made an impact, both as the reference implementation of the ReqIF standard, and as an important puzzle piece for Eclipse-based Systems Engineering.  But we also know that there is still some work to be done, before ProR becomes fit for industrial use.  For

Read more

Formal Mind wishes you a peaceful holiday season

Another year has passed, and we would like to thank our customers and the users of our technologies for working with us. The holiday season is a good time for reflecting, and we are proud to see our motto – science for systems engineering – applied in

Read more
Page 4 of 9« First...23456...Last »