De vraag naar softwareontwikkelaars is in ons land al jarenlang groter dan het aanbod. Outsourcing lost het kwantitatieve deel van dit probleem op, maar de kwaliteit van de uitbestede producten is niet altijd zoals we die graag zouden zien. Model Based Development in combinatie met formele methoden kan sneller software opleveren en geeft een aanzienlijk hogere kwaliteit. Van de developer vraagt het echter een mentale omschakeling.