Posts Tagged Formal Mind

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

ProR, RMF and Formal Mind at ReConf 2012

ReConf is one of the biggest requirements conferences in Europe, and Michael Jastram has been a regular speaker since 2007.  This year, he will give two talks: Structuring of Requirements for a tight integration with Models: requirements management and modeling are related and complementary, but how tightly

Read more

Formal Mind auf der EclipseCon 2011

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.

Read more

ProB 1.3.3 released

ProB 1.3.3 and ProB for Rodin 2.1 is available. Highlights: improved performance, constrained-based deadlock checking, record detection, and many more. Find out more on the ProB pages.

Read more