Searching for authors named "Ana Cavalcanti" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
