Artigos selecionados
CAVALCANTI, A.; WOODCOCK, J.; Sampaio, Augusto 'Unifying classes and processes', Software and Systems Modeling, v. 4, p. 277-296, 2005.
M. Cornelio; CAVALCANTI, A.; Sampaio, Augusto 'Refactoring Towards a Layered Architecture', Electronic Notes in Theoretical Computer Science, v. 130, p. 281-300, 2005.
MOTA, A.; Rodrigo Ramos; Sampaio, Augusto 'Class and Capsule Refinement in UML for Real Time', Electronic Notes in Theoretical Computer Science, v. 95, p. 23-51, 2004.
P. Borba; CAVALCANTI, A.; M. Cornelio; Sampaio, Augusto 'Algebraic Reasoning for Object-Oriented Programming', Science of Computer Programming, v. 52, p. 53-100, 2004.
SILVA, L.; BARROS, E.; Sampaio, Augusto 'A Constructive Approach to Hardware/Software Partitioning', Formal Methods in System Design, v. 24, p. 45-90, 2004.
CAVALCANTI, A.; WOODCOCK, J.; Sampaio, Augusto 'A Refinement Strategy for Circus', Formal Aspects of Computing, v. 15, p. 147-181, 2003.
CAVALCANTI, A.; WOODCOCK, J.; Sampaio, Augusto 'Refinement of actions in Circus', Electronic Notes in Theoretical Computer Science, v. 70, p. 492-522, 2002.