Model Driven Development:

Why should you take Model driven development seriously? After all, it's a concept that's been floating around for years but has yet to become mainstream.

In this session we will dive into the technical implementation details of Dezyne including its new mCRL2 based verification engine. We will discuss the complex engineering issues that it addresses and we will demonstrate its power in practice. At the end of the session you will understand why you should use verification and validation-based model driven development techniques for your next project.