Regio Zuid | Haalbaarheidsstudie naar de specificatie en automatische verificatie van data contracts

Verum onderzoekt in dit haalbaarheidsproject de technische haalbaarheid van het uitbreiden van de Dezyne taal, tooling en methodiek ten aanzien van integratie van data transformatie en de invloed van data op de control flow van het programma, door middel van het formaliseren van data als abstract data types...Dit haalbaarheidsonderzoek start op 1 september 2022 en duurt tot en met 30 april 2023..