17 feb. 1999
1 minuut
Het door Verum Software Technologies aangevraagde patent op Analytical Software Design (ASD) is uitgebreid naar de regio Hongkong, na eerdere toekenning in Europa. Het patent erkent de toepassing van de formele methode CSP (Communicating Sequential Processes), met als doel een foutvrije software-architectuur en code op te leveren.
Deze patenttoekenning betreft Verum’s methode om software-architecten en designers te laten profiteren van de wetenschap van formele methoden zonder zelf een wiskundig expert te hoeven zijn. Met de methode kunne zij door middel van een CAD-softwaremodel ontwerpen controleren op volledigheid en juistheid. Daarna wordt de juiste code gegenereerd (in Java, C, C+ + of C #). Software-ontwikkeling gaat daardoor sneller, makkelijker, met minder inspanning en zonder trial and error.
De nieuwste versie van ASD:Suite zal worden geïntroduceerd tijdens het Embedded Systems event in Eindhoven. Daarna kunnen ontwikkelaars het product gratis 1 maand uitproberen. Kijk voor meer informatie op www.verum.com/testdrive
Anderen lazen ook
