From post

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.

 

Другие публикации лиц с тем же именем

MetaTT - A Metamodel Based Approach for Writing Textual Transformations., , и . SBCARS, стр. 61-70. IEEE Computer Society, (2012)SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design., , , , , , , и . DoCEIS, том 349 из IFIP Advances in Information and Communication Technology, стр. 256-265. Springer, (2011)XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models., , и . J. Univers. Comput. Sci., 9 (8): 956-969 (2003)Towards a requirements traceability process centered on the traceability model., , и . SAC, стр. 1364-1369. ACM, (2015)Semantic Equations for Formal Models in the Model-Driven Architecture., , , , , и . DoCEIS, том 314 из IFIP Advances in Information and Communication Technology, стр. 251-260. Springer, (2010)Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos., , и . SBCARS, стр. 181-194. SBC - Brazilian Computer Society, (2009)Improving Traceability Recovery Between Bug Reports and Manual Test Cases., , , и . SBES, стр. 293-302. ACM, (2020)An Approach to Identify and Classify State Machine Changes from Code Changes., и . SBCARS, стр. 111-120. ACM, (2020)Automatic generation of built-in contract test drivers., , и . Softw. Syst. Model., 13 (3): 1141-1165 (2014)Metrics to Measure the Change Impact in ATL Model Transformations., и . PROFES, том 8892 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2014)