( en | de | ru )

 

Disambiguation of "Ramalho, Franklin"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Franklin Trein

Franklin Borrmann

Luiz Ramalho

Birgit Franklin

Franklin Kiesewetter

 

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)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)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)Towards a requirements traceability process centered on the traceability model., , and . SAC, page 1364-1369. ACM, (2015)An Approach to Identify and Classify State Machine Changes from Code Changes., and . SBCARS, page 111-120. ACM, (2020)Automatic generation of built-in contract test drivers., , and . Softw. Syst. Model., 13 (3): 1141-1165 (2014)Metrics to Measure the Change Impact in ATL Model Transformations., and . PROFES, volume 8892 of Lecture Notes in Computer Science, page 254-268. Springer, (2014)