Het gebruik van softwaretools om te helpen bij de transformatie van de specificatie van een programma in een programma dat beseft dat die specificatie bestaat uit.