Align Control and Creativity
Verum Dezyne is a software development tool that empowers you to focus on the areas of software development that matter. Say goodbye to time-wasting tasks, and use your talent and experience to create great software.
Continuous alignment of implementation and architecture.
Create & don’t repeat yourself: get rid of repetitive tasks.
Let computing power do what it is good at: precise and repetition processing.
Dezyne is both an architectural specification language and a software implementation language. Architects and programmers use the same language and the implementation inherently specifies the architectural design. Programmers correct the architecture during development.
Most of the unit testing is taken care of automatically by the Dezyne formal verification. Spend more time creating functionality rather than creating a test infrastructure which obstructs change.
Humans excel at creation: build what works. Humans find it hard and depressing to imagine how things might fail. Dezyne automates formal verification to let the computer take care of the tough and repetitive work.
In Dezyne, you define components and their interfaces through a familiar and compact C/Java like-language. The Dezyne language is targeted at the logic or event-driven behaviour of an application. The interfaces are the specification and the components are the implementation.
Dezyne automatically verifies semantic correctness of the logic behaviour and proves that the components correctly implement the interfaces. A user can simulate the behaviour to validate whether this is as intended. Diagrams and logical views are generated automatically from the language description. As a final step code can be generated in a number of standard programming languages.
Without having to rely on a process Dezyne automatically highlights problems areas, stimulates communication about these and enforces that components work together.