Logica wordt ASD-partner Verum

Logica gaat consultancydiensten leveren voor Verums ASD-technologie en ASD:Suite-softwaretools. Dat zijn de beide partijen overeengekomen. ’Logica is sterk in missiekritieke systemen en we zien de technologie en de tools van Verum als een manier om ons werk uit te breiden op dit veeleisende gebied‘, zegt Anton van Gelderen, competencemanager bij Logica. ’Verums ASD:Suite stelt ons in staat om onze klanten zeer betrouwbare systemen aan te bieden, zonder de complicaties en de steile leercurve van formele systemen.‘

De softwareontwerptools van Verums ASD:Suite elimineren naar eigen zeggen alle fouten in het gedrag van complexe software-ontwerpen, waardoor de kosten van het ontwikkelen, testen en onderhouden van software worden gereduceerd. De automatische codegenerator van ASD:Suite brengt de kosten van softwareontwikkeling verder omlaag met 30 procent per geleverde coderegel, aldus het bedrijf uit Waalre. Met de formele verificatietechnologie, Analytical Software Design (ASD), kun je het ontwerp van een softwaresysteem wiskundig controleren op compleetheid en juistheid, zonder dat er een regel code is geschreven.