Dezyne release notes

Fresh Release Notes Dezyne version 2.7.x

On the 3rd of May 2018 service 2.7.1 has been replaced with service 2.7.2 as Default. A recap of the most important fixes and improvements
May 14, 2018/by Relny Podung
Why your future success depends on your software strategy

Why your future success depends on your software strategy – Download our free Software Strategy Whitepaper!

This Software Strategy Whitepaper gives you some clever insights in how future winners in the race to achieve dominance in “Smart” products and services stay on top of the game.
April 12, 2018/by Robert Howe
Model driven software design workshop

Join a model-driven software design workshop. Register now!

Would you like to know how model-driven software design tool can contribute to developing up to 50% more efficiently? Join the rapidly growing group who uses model-driven software tools to develop verifiably complete and correct embedded software systems.
March 20, 2018/by Relny Podung
Hackathon 2018

Smart Factory Automation Hackathon 2018

Verum and ICT challenge software engineers to design a reliable Factory Automation controller in 32 hours.
March 7, 2018/by Relny Podung
Liteq 500 system

Why Model Driven Software Engineering is the future of Software Development

How the Liteq 500 case points to the future of software development.
February 26, 2018/by Robert Howe
The model checking capabilities of the mCRL2 tool set

The model checking capabilities of the mCRL2 tool set

In this award winning paper, we describe the Dezyne language and a model transformation to the mCRL2 language, providing users access to advanced model checking capabilities and refinement checks of the mCRL2 tool set.
February 22, 2018/by Relny Podung

How to improve software quality using model driven software engineering

Lely evaluated Dezyne in the context of agricultural robotics after a three-month period. In particular it was applied to a subsystem of a Lely milking robots.
February 20, 2018/by Relny Podung
Making sense of components and interfaces with 3 tips

Making sense of components and interfaces with 3 essential tips

Keeping good overview of your events, components and interfaces will save you a lot of time and frustration.
December 20, 2017/by Relny Podung
Moba barneveld clean up legacy software

How Moba used Dezyne to clean up legacy software

When confronted with a legacy codebase, with parts more than 15 years old, the Moba company decided to use Dezyne to clean up legacy software.
December 19, 2017/by Relny Podung
How research professor Cabot uses Dezyne for verifying and validating embedded software

Verifying and validating embedded software with Dezyne, a review by Jordi Cabot

Jordi Cabot, a Research Professor at the Open University of Catalonia and experienced user of several modelling tools, dives into the use of Dezyne for verifying and validating embedded software.
December 18, 2017/by Relny Podung
Make coding easy with Dezyne 3 tips

Make coding easy with Dezyne: 3 tips

Anything that will make coding easy will make your job easier. Also, the automation of these tasks will reduce the change of mistakes and errors.
December 14, 2017/by Relny Podung
Analysis of Large Scale Industrial Application of Model Driven Engineering using metrics at ASML

Analysis of Large Scale Industrial Application of Model Driven Engineering using Metrics at ASML

At the 2017 IEEE International Conference on Software Quality, Reliability and Security, ASML reported on a study of applying metrics to their large set of models for accessing the quality of the models.
December 13, 2017/by Paul Hoogendijk
Complicated system sequence diagrams These 3 tips will save you time

Complicated system sequence diagrams? 3 tips to save time

Many crossing lines in your system diagram or a very wild sequence diagram? Dezyne takes the order of the interface provides and requires declarations as the order in which objects are drawn left to right.
December 7, 2017/by Relny Podung
The coming software apocalypse

The Coming Software Apocalypse or How to Save the World from Code

"Software is different. Just by editing the text in a file somewhere, the same hunk of silicon can become an autopilot or an inventory-control system. This flexibility is software’s miracle, and its curse", writes James Somers in his recent article "The Coming Software Apocalypse".
October 5, 2017/by Robert Howe
An everyday software failure that hits you in the bank account

An everyday software failure that hits you in the bank account

For those of us who read tech news, not a day goes by without another story about utopian technologies that are going to change our lives forever. And yet even today, relatively simple operations are not reliable. Here's a case in point..
September 29, 2017/by Robert Howe
Load more

Subscribe to our newsletter

New Call-to-action