Currently browsing

From Concurrent State Machines to Reliable Multi-threaded Java Code

Dan Zhang promotor: prof. dr. M.G.J. van den Brand (TU/e) copromotors: dr. R. Kuiper (TU/e) and dr. D. Bosnacki (TU/e) Eindhoven University of Technology Date: 12 April 2018 Thesis: PDF Summary Model transformation is a powerful concept in model-driven software engineering. Starting with an initial model written in a domain-specific …