Termin vormerken: SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen (27. Mai 2013)

Formal Geist freut sich, Sie auf der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang laden: n n   SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Monday, May 27th, 201310:00-12:30 University of Düsseldorf Room 25.12.2.55 Vortrag wird in deutscher Sprache abgehalten werden. Nicht-Mitglieder des

Read more

Better Link creation with RMF ProR 0.7.0

We are proud to announce the release of RMF ProR 0.7.0 and ProR Essentials 0.7.0.  Download them now from the Eclipse website.  If you already have ProR 0.5.0 or newer, simply update via Help | Check for Updates. In Version 0.7.0, 16 features and bugs have been

Read more

Using ProR for ReqIF Testing

As more and more tools in the market support ReqIF, it becomes more and more important to inspect the generated files and to perform troubleshooting.  This is currently done in a systematic fashion by the ReqIF Implementor Forum,  a project group that ensures interoperability between different ReqIF-based

Read more

ProR 0.6.0: The best ProR so far

We are proud to announce the publication of the ProR 0.6.0 snapshot.  While still in incubation, this version provides some significant improvements with respect to usability.  If you use ProR 0.5.0, you can update your installation simply via Help | Check for Updates.  Try it now, or

Read more

ProR Team Plug-In with Workflow Support

Update: The information shown here is outdated.  The current state of team support is described in the fmStudio Handbook.  We are working on commercial team support. If this is of interest to you, then please let us know, so that we can inform you when it is

Read more

Visit us in Braunschweig at Forms/Format

We are happy to announce that we will be present at the conference FORMS/FORMAT in Braunschweig, both with a paper (and presentation) and a tool exhibition. The paper is entitled “A Systems Engineering Tool Chain Based on Eclipse and Rodin”. We’d be delighted to see you there.

Read more