Abstract
Dit artikel geeft geen rechtstreeks antwoord op deze vraag.
Het geeft aan op welke manieren formele methoden tegenwoordig proberen
bij te dragen tot oplossing van de problemen die zich voordoen bij
ontwikkeling van programmatuur.
Het een 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 ook aan de orde.
Doel van dit artikel is de lezer enig inzicht te verschaffen in wat
formele methoden voor ontwikkeling van programmatuur tegenwoordig te
bieden hebben en wat er in de nabije toekomst nog meer van kan worden
verwacht.
Preprint available here.