Formal Mind auf der EclipseCon 2011

Submitted by Michael Jastram on Thu, 10/13/2011 - 14:13

Wir werden mit einem Vortrag auf der EclipseCon 2011 in Ludwigsburg vertreten sein.  Am 3. November um 16:30 hält Michael Jastram mit Andreas Graf den Vortrag Requirements Modeling Framework: a Game-Changer.

Submitted by Tim (not verified) on Fri, 05/11/2012 - 11:46.

Hello Where is the

Hello Where is the documentation, tutorials etc for ProR - the web sites point to each other but no link for the manual? http://wiki.eclipse.org/RMF/ProR <----| http://www.eclipse.org/rmf/pror/ <----| Regards, Tim

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.

Formal Mind Newsletters

Select the newsletter(s) to which you want to subscribe or unsubscribe.