Author of the publication

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

Refactoring by Transformation, , and . Electronic Notes in Theoretical Computer Science, 70 (3): 311--330 (November 2002)Model-Checking CSP-Z., and . FASE, volume 1382 of Lecture Notes in Computer Science, page 205-220. Springer, (1998)Unifying classes and processes., , and . Softw. Syst. Model., 4 (3): 277-296 (2005)Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes., , and . SBES, page 113-128. SBC, (2006)Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos., , and . SBES, page 143-158. SBC, (1994)Laws of Programming for References., , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 124-139. Springer, (2013)Formal Specification Generation from Requirement Documents., and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 171-188. Elsevier, (2006)Algebraic derivation of an operational semantics., , and . Proof, Language, and Interaction, page 77-98. The MIT Press, (2000)Refinement: An overview, , and . (2006)An Incremental Approach to the Semantics of Statecharts, and . Proceedings of ICIE 97, Buenos Aires, (1997)