De laatste tien jaar toont zowel de industriële als de wetenschappelijke wereld een toenemende belangstelling voor het gebruik van formele methoden voor de ontwikkeling van programmatuur en apparatuur. Deze methoden begeleiden de afleiding van de implementatie uit een formele specificatie, die tot stand komt via een aantal formeel bewezen stappen. Daarbij wordt ervan uitgegaan dat er een noodzaak bestaat voor de ondersteuning middels hulpmiddelen die de continuïteit van de formele keten verzekeren. Daarnaast kan een goed hulpmiddel voor de ontwikkelaar ook een nuttige leidraad zijn.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.