Formele methoden in software-ontwikkeling en de consequenties voor het onderwijs

Onder "formele methoden" worden talen en technieken verstaan, gebaseerd op de discrete wiskunde, die gebruikt kunnen worden bij de analyse, het ontwerp en de implementatie van (software) systemen. Herhaaldelijk worden er vraagtekens geplaatst bij de toepasbaarheid van formele methoden in de ontwikkeling van software-systemen in de Industrie. De kwestie is echter niet of formele methoden in de praktijk bruikbaar zijn of niet. Ze worden namelijk al gebruikt, denk maar aan programmeertalen, generatoren, enz. Waar het om gaat is of formele methoden inzetbaar zijn in een vroeger stadium van het ontwikkelproces dan de uiteindelijke implementatie en wat voor zin dat heeft.