In cooperation with Whiteblue Consulting, who hosted the event, we organised open workshops on the subject of Dezyne on Wednesday 27th January 2016 and Thursday 28th January 2016.

Dezyne is an innovative concept and model based toolset from Verum, an Eindhoven based company, for future proof software engineering. Through an intuitive user interface, seamlessly integrated in standard development environments, Dezyne enables software engineers to create, explore and formally verify designs for state based, event driven or concurrent software systems. It leads to generated code that is robust, reliable and trustworthy. 

We were happy to have Verum in Munich to present Dezyne and offer hands-on experience.

Agenda:

  • Introducing Dezyne
  • Dezyne Demonstration
  • Workshop Software Engineering applying Dezyne
  • Discussion, Questions & Answers

The event was conducted in English language at Whiteblue Consulting, Emmy-Noether-Straße 4, 80992 Munich, Germany