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.

 

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

A Domain-Specific Language for Verifying Software Requirement Constraints., , и . CoRR, (2019)Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web., и . RITA, 10 (2): 9-28 (2004)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)Towards a requirements traceability process centered on the traceability model., , и . SAC, стр. 1364-1369. ACM, (2015)XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models., , и . J. Univers. Comput. Sci., 9 (8): 956-969 (2003)Improving Traceability Recovery Between Bug Reports and Manual Test Cases., , , и . SBES, стр. 293-302. ACM, (2020)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)Incorporating Semantic Algebra in the MDA Framework., , , и . ICSOFT (SE/MUSE/GSDCA), стр. 330-336. INSTICC Press, (2008)