Cookies op Tweakers

Tweakers maakt gebruik van cookies, onder andere om de website te analyseren, het gebruiksgemak te vergroten en advertenties te tonen. Door gebruik te maken van deze website, of door op 'Ga verder' te klikken, geef je toestemming voor het gebruik van cookies. Wil je meer informatie over cookies en hoe ze worden gebruikt, bekijk dan ons cookiebeleid.

Meer informatie

Verum Software Tools · Standplaats: Eindhoven · 6 augustus 2020

Analytical Software Design: ASD

Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne's verification technology.

Innovating and improving

Product innovation, quality and time to market are key elements in the battle to achieve and sustain competitive advantage. For a growing number of businesses, this means software development. Software is now an essential component embedded in an ever increasing array of products. It has become an important means of realising product innovation and is a key determinant of both product quality and time-to-market.

Embedded software and the questions that managers ask

Not only professional and industrial users depend heavily on embedded software components nowadays. The consumers are being confronted by products whose safe and reliable operation depends increasingly on embedded software. This trend raises new issues of consumer protection and product liability. At the same time, software development continues to suffer from poor predictability. Business managers want reliable answers to the questions "When will it be ready?",, "What will it cost?" and "How well will it work?". But these are the very questions that software developers are least able to answer.

Existing development methods appear to have reached a quality ceiling that incremental improvements in process and technology are unlikely to breach. To break through this ceiling, a different approach is needed.

Using automatic verification

That's where Verum's Analytical Software Design (ASD) comes in. The business-critical software that is addressed in this paper is 'untestable'. There is no amount of testing that can prove correctness and no economically feasible amount of testing that can establish a sufficient level of confidence that the software system is correct. That is why we should focus on defect prevention. ASD is a practical means of addressing the current difficulties. It provides a formal framework in which one can develop organised, accessible and concise specifications that are expressed in domain terms and have explicit traceability to the original informal requirements.

In this paper you will learn:

  • about Verum's ASD;
  • how ASD marries software engineering mathematics developed in academia and practical software development methods developed in industry;
  • how mathematically based techniques can be applied within existing software development organizations in a practical way;
  • about the use of ASD in an industrial case.

Video presentation:
Introducing Dezyne The ASD Suite in Perspective

Taken at Verum's Community Meeting, this presentation introduces our new model driven software engineering tool, Dezyne. Dezyne is the successor to our previous product, the ASD:Suite. The presentation constrasts the two and reflects on the improvements made in Dezyne with respect to customer needs and experience.


Luchthavenweg 81.041
5657 EA Eindhoven

The Netherlands


We work closely with solution partners worldwide.


© Copyright - Verum 2020 | Terms of use | Privacy policy

Design and Developed by ElephantDreamz

Meld Misbruik

Verum Software Tools

Standplaats: Eindhoven

6 augustus 2020

Vacature kenmerken

Automatisering / Internet
analytical software design
1 - 40 uur per week
Luchthavenweg, Eindhoven

Software engineer Applicatiebeheerder Web Developer Systeembeheerder Full Stack Developer Software Developer PHP Developer Java Developer IT Manager Devops Engineer

'14 '15 '16 '17 2018

Tweakers vormt samen met Hardware Info, AutoTrack,, Nationale Vacaturebank, Intermediair en Independer DPG Online Services B.V.
Alle rechten voorbehouden © 1998 - 2020 Hosting door True