Informatici los van de praktijk
Het informaticaonderzoek heeft zich de afgelopen 25 jaar vooral gericht op methoden voor het ontwikkelen van correcte en efficiënte programma’s en systemen. Vooral de beheersing van complexiteit van steeds grotere systemen is het doel geweest. Hoewel hier wel degelijk grote stappen voorwaarts zijn gezet, zoals methoden voor het analyseren van modellen van heel grote softwaresystemen, zijn de resultaten niet of nauwelijks zichtbaar geweest voor de software-industrie.
Shutterstock
Shutterstock
De oorzaak is dat de ontwikkelde methoden en technieken in de praktijk moeilijk of niet toepasbaar zijn zonder geavanceerde softwaretools waarin deze methoden en technieken zijn geïncorporeerd. Deze tools zijn niet of nauwelijks beschikbaar.