Subscribe

Posts Tagged ReqIF Studio

ReqIF.academy: A Library for ReqIF and Requirements Exchange

ReqIF.academy: A Library for ReqIF and Requirements Exchange

Some readers of this blog may already have discovered a new website that we silently launched: In September, we made ReqIF.academy available to the public. Face-to-Face ReqIF Training for German Speakers For German speaking readers, we are organizing a one-day ReqIF training on October 28 in Nuremberg,

Read more

Even More New Features in formalmind Studio

Even More New Features in formalmind Studio

We announced a number of new features in formalmind Studio right before Christmas, including better SpecRelations (linking), Validation, ID-Generation and a few more. But we did not stop there, but continued our work. Read on to learn what we added. But first… Talk at ReConf 2016 Dr.

Read more

Many new features in formalmind Studio

Many new features in formalmind Studio

Over the last two months, we put a lot of work into formalmind Studio: We polished the rough edges and we implemented new features. Maybe you already noticed these, as we rolled some of them out silently, like jumping to the target of links. Others we already

Read more

Beta-Testers Wanted for Binom, the New ReqIF Compare

The Requirements Interchange Format (ReqIF) is used to exchange requirements – as the name suggests. But most of the time, you would do more than just one exchange, and if you do this, you may want to know what actually changed between two versions. This is not

Read more

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

Read more

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

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

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
Page 1 of 3123