Automatic Generation of Integrated Formal Models Corresponding to UML System Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos. Automatic Generation of Integrated Formal Models Corresponding to UML System Models. In Manuel Oriol, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Volume 33 of Lecture Notes in Business Information Processing, pages 357-367, Springer, 2009. [doi]

This author has not been identified. Look up 'Helen Treharne' in GoogleThis author has not been identified. Look up 'Edward Turner' in GoogleIdentified as Richard F. Paige This author has not been identified. It may be one of the following persons:

Dimitris Kolovos

Look up 'Dimitrios S. Kolovos' in Google

runs on WebDSL