Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs 0002, Anton Wijs. Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. pages 578-588, SciTePress, 2016. [doi]

This author has not been identified. Look up 'Dan Zhang' in GoogleThis author has not been identified. Look up 'Dragan Bosnacki' in GoogleThis author has not been identified. It may be one of the following persons:

Mark G. J. van den Brand

Look up 'Mark van den Brand' in GoogleThis author has not been identified. Look up 'Cornelis Huizing' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'Bart Jacobs 0002' in GoogleThis author has not been identified. Look up 'Anton Wijs' in Google

runs on WebDSL