Books

2007

  • SAMPAIO, A. C. A. ; Antônio Maranhão . Conceitos e Paradigmas de Programação via Projeto de Interpretadores. In: Tomasz Kowaltowski; Karin Breitman. (Org.). JAI – Jornadas de Atualização em Informática 2008. Rio de Janeiro: PUC Rio, 2008, v. , p. 13-54

2006

  • CAVALCANTI, A. (Org.) ; SAMPAIO, A. C. A. (Org.) ; WOODCOCK, J. (Org.) . Refinement Techniques in Software Engineering. 1. ed. Berlin: Springer (Lecture Notes in Computer Science – Tutorial, Vol 3167), 2006. v. 3167. 391 p.
  • SAMPAIO, A. C. A. (Org.) . 2005 Brazilian Workshop on Formal Methods (Em preparação). ENTCS – Eletronic Notes in Theoretical Computer Scince, 2006.
  • SAMPAIO, A. C. A. ; P. Borba . Transformation Laws for Sequential Object-Oriented Programming. In: Ana Cavalcanti; Augusto Sampaio; Jim Woodcock. (Org.). Refinement Techniques in Software Engineering. 1 ed. Berlin: Springer (Lecture Notes in Computer Science – Tutorial, Vol. 3167), 2006, v. 3167, p. 18-63.
  • CAVALCANTI, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . Refinement: an Overview. In: Ana Cavalcanti; Augusto Sampaio; Jim Woodcock. (Org.). Refinement Techniques in Software Engineering. 1 ed. Berlin: Springer (Lecture Notes in Computer Science – Tutorial, Vol. 3167), 2006, v. 3167, p. 1-17.

2005

  • SAMPAIO, A. C. A. (Org.) . Simpósio Brasileiro de Métodos Formais. 2. ed. SBC – Sociedade Brasileira de Computação, 2005. 200 p.

2003

  • T. Massoni ; SAMPAIO, A. C. A. ; P. Borba . A RUP-Based Software Process Supporting Progressive Implementation. In: L. Favre. (Org.). UML and the Unified Process. Hershey: Idea Grup Inc, 2003, v. , p. 375-397.

2000

  • HOARE, C. A. R. ; HE, J. ; SAMPAIO, A. C. A. . Algebraic Derivation of an Operational Semantics. In: G. Plotkin; C. Stirling; M. Tofte. (Org.). Proof, Language and Interaction: Essays in Honour of Robin Milner. Massachusetts: MIT, 2000, v. , p. 77-98.
  • SAMPAIO, A. C. A. (Org.) . Simpósio Brasileiro de Engenharia de Software. 14. ed. Porto Alegre: SBC – Sociedade Brasileira de Computação, 2000. v. 1. 387 p.

1997

  • SAMPAIO, A. C. A. . An Algebraic Approach To Compiler Design. 1. ed. Londres: World Scientific, 1997. v. 4. 200 p.[Cited by]