( en | de | ru )

 

Disambiguation of "Ramalho, Franklin"

Author of the publication

copydeleteadd this publication to your clipboard
A Domain-Specific Language for Verifying Software Requirement Constraints.

, , and . CoRR, (2019)

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

Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web., and . RITA, 10 (2): 9-28 (2004)A Domain-Specific Language for Verifying Software Requirement Constraints., , and . CoRR, (2019)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)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)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)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)Incorporating Semantic Algebra in the MDA Framework., , , and . ICSOFT (SE/MUSE/GSDCA), page 330-336. INSTICC Press, (2008)