( en | de | ru )

 

Disambiguation of "Sampaio, Augusto"

Author of the publication

copydeleteadd this publication to your clipboard
Capture & Replay with Text-Based Reuse and Framework Agnosticism.

, , and . SEKE, page 420-425. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2016)

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

Model-Checking CSP-Z., and . FASE, volume 1382 of Lecture Notes in Computer Science, page 205-220. Springer, (1998)Refactoring by Transformation, , and . Electronic Notes in Theoretical Computer Science, 70 (3): 311--330 (November 2002)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)Formal Specification Generation from Requirement Documents., and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 171-188. Elsevier, (2006)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)Automation and consistency analysis of test cases written in natural language: An industrial context., , and . Sci. Comput. Program., (2020)Automatic Test-Case Generation, and . PSSE 2007, volume 6153 of Lecture Notes in Computer Science, page 59--103. Springer, (2010)