( en | de | ru )

 

Disambiguation of "Sampaio, Augusto"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification Generation from Requirement Documents.

, and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 171-188. Elsevier, (2006)

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.

Augusto Sampaio

Augusto Sampaio

Leonardo Sampaio

Erica Sampaio

Américo Sampaio

 

Other publications of authors with the same name

Unifying classes and processes., , and . Softw. Syst. Model., 4 (3): 277-296 (2005)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)Formal Specification Generation from Requirement Documents., and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 171-188. Elsevier, (2006)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)Algebraic derivation of an operational semantics., , and . Proof, Language, and Interaction, page 77-98. The MIT Press, (2000)CPN simulation-based test case generation from controlled natural-language requirements., , and . Sci. Comput. Program., (2019)An Incremental Approach to the Semantics of Statecharts, and . Proceedings of ICIE 97, Buenos Aires, (1997)