Why your future success depends on your software strategy

Why your future success depends on your software strategy

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.

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.

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?

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?

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.