Searching for authors named "Ana Cavalcanti" – sorted by Relevance.
-
From circus to jcsp
- From Circus to JCSP Marcel Oliveira and Ana Cavalcanti Department of Computer Science
- Cited by 4 (2 self) – Add To MetaCart
-
A Tutorial Introduction to CSP in Unifying Theories of Programming
- A Tutorial Introduction to CSP in Unifying Theories of Programming Ana Cavalcanti and Jim Woodcock
- Cited by 3 (3 self) – Add To MetaCart
-
Automatic Translation from Circus to Java
- Automatic Translation from Circus to Java Angela Freitas and Ana Cavalcanti Department of Computer
- Cited by 1 (0 self) – Add To MetaCart
-
A Tutorial Introduction to Designs in Unifying Theories of Programming
- A Tutorial Introduction to Designs in Unifying Theories of Programming Jim Woodcock and Ana
- Cited by 3 (2 self) – Add To MetaCart
-
A Weakest Precondition Semantics For Z
- Programming Research Group A WEAKEST PRECONDITION SEMANTICS FOR Z (EXTENDED VERSION) Ana Cavalcanti
- Cited by 14 (3 self) – Add To MetaCart
-
Class Refinement for Sequential Java
- Class Renement for Sequential Java Ana Cavalcanti 1 and David A. Naumann 2 1 Centro de
- Add To MetaCart
-
Formal development of industrial-scale systems
- Formal Development of Industrial-Scale Systems in Circus Marcel Oliveira, Ana Cavalcanti, and Jim
- Cited by 2 (2 self) – Add To MetaCart
-
A Weakest Precondition Semantics for an Object-oriented Language of Refinement
- A Weakest Precondition Semantics for an Object-oriented Language of Refinement Ana Cavalcanti
- Cited by 28 (9 self) – Add To MetaCart
-
Algebraic Reasoning for Object-Oriented Programming
- Algebraic Reasoning for Object-Oriented Programming Paulo Borba a , Augusto Sampaio a , Ana
- Cited by 11 (6 self) – Add To MetaCart
-
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
- A Weakest Precondition Semantics for Renement of Object-Oriented Programs Ana Cavalcanti 1
- Cited by 9 (1 self) – Add To MetaCart

