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.
Comparing ReqIF Files with ProR Essentials Diff
Submitted by Michael Jastram on Fri, 11/16/2012 - 00:32
We just released ProR Essentials 0.5.0, which comes with a new feature, an extension for comparing ReqIF files. We also published ProR 0.5.0, which is required for using the new Essentials features.
Installing, not upgrading
A lot of refactoring happened for the new ProR release. Therefore, unfortunately it is not possible to upgrade from 0.4.0 to 0.5.0 using the build-in update manager. If you are a user of the standalone-version of ProR, you will need to download the new version. Of course, you can continue to use your existing workspace. If you're using ProR as a plug-in, you should be able to upgrade.
To use the Diff tool, you need to install the ProR Essentials. The update site for ProR Essentials is already installed.
Using the Diff Tool
A picture tells more than 1000 words - or so the saying goes. This time we produced a 5-minute screencast to demonstrate the usage of the Diff. We hope you like it, and would love to hear from you whether you prefer screencasts or written documentation, as we did in the past.
Work for us!
Research-centric jobs in industry are rare. Formal Mind provides an environment that gives talented scientists the ability to apply their skills in industry while staying on the cutting edge. We leave you room to perform active research parallel to doing your day job. Check out openings >>
Image courtesy of Suvro Datta / FreeDigitalPhotos.net