Author of the publication

Automated Semantic Analysis of Design Models.

, , , , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 166-180. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver., , , and . Journal of Object Technology, 6 (7): 89-108 (2007)Automated Semantic Analysis of Design Models., , , , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 166-180. Springer, (2007)Generating Test Suites to Validate Legacy Systems., , , , , , , , and . SAM, volume 11753 of Lecture Notes in Computer Science, page 3-23. Springer, (2019)Automated Code Generation for Industrial-Strength Systems., , , , and . COMPSAC, page 464-472. IEEE Computer Society, (2008)Motorola WEAVR: Aspect and model-Driven Engineering., , and . Journal of Object Technology, 6 (7): 51-88 (2007)Modeling Aspect-Oriented Compositions., , and . MoDELS (Satellite Events), volume 3844 of Lecture Notes in Computer Science, page 100-109. Springer, (2005)Joinpoint Inference from Behavioral Specification to Implementation., , and . ECOOP, volume 4609 of Lecture Notes in Computer Science, page 476-500. Springer, (2007)Modular reasoning about region composition., , and . FOAL, page 15-20. ACM, (2012)Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations., , and . WAGA, volume 461 of Lecture Notes in Computer Science, page 101-115. Springer, (1990)Separation of Concerns with Transactional Regions., , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 168-185. Springer, (2011)