Searched for: subject%3A%22alan%22
(1 - 2 of 2)
Kunst, GJ (author)
For programs controlling industrial processes, it is of vital importance that they produce results conform their functional specification. Furthermore, it is important that their running times are bounded, and that we can predict corresponding worst-case scenarios. Programs written in general purpose programming languages can crash or produce...
master thesis 2018
Krause, M. (author)
When information systems managed by different organizations are integrated, the different parties often must collaborate to define a migration system that transforms the data from one data model to the other. Such a migration step is a common source of system failures. We present a migration language to define transformation definitions for real...
master thesis 2016