Author of the publication

Checking UML Design Patterns in Java Implementations.

, , , and . SBCARS, page 120-129. IEEE Computer Society, (2010)

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

MetaTT - A Metamodel Based Approach for Writing Textual Transformations., , and . SBCARS, page 61-70. IEEE Computer Society, (2012)SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design., , , , , , , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 256-265. Springer, (2011)Towards a requirements traceability process centered on the traceability model., , and . SAC, page 1364-1369. ACM, (2015)Semantic Equations for Formal Models in the Model-Driven Architecture., , , , , and . DoCEIS, volume 314 of IFIP Advances in Information and Communication Technology, page 251-260. Springer, (2010)XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models., , and . J. Univers. Comput. Sci., 9 (8): 956-969 (2003)Improving Traceability Recovery Between Bug Reports and Manual Test Cases., , , and . SBES, page 293-302. ACM, (2020)Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos., , and . SBCARS, page 181-194. SBC - Brazilian Computer Society, (2009)An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations., , , and . SEW, page 33-42. IEEE Computer Society, (2008)Testing Architectures for Real Time Systems., , and . SBCARS, page 120-129. IEEE Computer Society, (2011)An Approach to Identify and Classify State Machine Changes from Code Changes., and . SBCARS, page 111-120. ACM, (2020)