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 Myrthe Burgler
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 Myrthe Burgler

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.
December 6, 2017/by Myrthe Burgler
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.
November 21, 2017/by relny.podung@verum.com
Win a DJI spark drone

Enter the Dezyne Challenge 2017 and win a DJI Spark drone

We’re offering you two chances to win their latest model, the Spark, by joining in with the Dezyne Challenge 2017. All you need to do is come up with a great example of the use of Dezyne!
November 10, 2017/by Robert Howe

Why Model Driven Software Engineering is the future of Software Development

How the Liteq 500 case points to the future of software development.
October 31, 2017/by Robert Howe
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
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.
October 5, 2017/by relny.podung@verum.com
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
Why bother with formal methods when there's Feng Shui for software development

Why bother with formal methods when there’s Feng Shui for software development?

There’s a new rage sweeping in from the East: Feng Shui for Software.
September 29, 2017/by Robert Howe
Why software defects remain a challenge and what to do about it

Why software defects remain a challenge and what to do about it

The cost of fixing a defect increases exponentially as the defect propagates. And yet, a conventional approach to software development performs only subjective analysis of specifications and designs. But what if there was a way to verify and validate software specifications and designs?
September 25, 2017/by Robert Howe
Using the power of Dezyne's verification and validation features to build cyber resilient applications

Using the power of Dezyne’s verification and validation features to build cyber resilient applications

There are various ways in which an intruder might seek to compromise your operations. One of the simplest, blunt force methods is to look for an application with network interfaces and attempt to disrupt it. How certain are you that your software systems are resilient enough to cope with such an attack?
September 25, 2017/by Robert Howe
Lower software testing costs with safety critical software development best practices

Lower software testing costs with safety critical software development best practices

Written by our North American reseller, Emenda, this article "The time you could fix that bug is gone!" describes how Safety Critical Software Development best practices can help lower QA costs
September 5, 2017/by Robert Howe
Reengineering legacy software with Dezyne

Reengineering legacy software with Dezyne

Reengineering legacy software is an undesirable but nevertheless occasionally unavoidable necessity. In this paper, we present a technique by which lost or poorly understood behaviour can be recovered and turned into formally verifiable models.
August 12, 2017/by Robert Howe
Load more

Subscribe to our newsletter

New Call-to-action