Dit artikel geeft geen rechtstreeks antwoord op de vraag of formele methoden zinvol zijn. Het geeft aan op welke manieren formele methoden tegenwoordig proberen bij te dragen tot de oplossing van problemen die zich voordoen bij de ontwikkeling van programmatuur. Het één en ander wordt toegelicht aan de hand van VDM, een formele methode voor programmatuurontwikkeling die op dit moment waarschijnlijk tot de meest geslaagde formele methoden in de praktijk behoort. Computerondersteuning bij het gebruik van formele methoden voor programmatuurontwikkeling, alsmede recente ontwikkelingen op het gebied van formele methoden, komen eveneens aan de orde ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.