2009 |
57 | EE | Frank Zeyda,
Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus.
IFM 2009: 151-166 |
56 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A UTP semantics for Circus.
Formal Asp. Comput. 21(1-2): 3-32 (2009) |
2008 |
55 | EE | Will Harwood,
Ana Cavalcanti,
Jim Woodcock:
A Theory of Pointers for the UTP.
ICTAC 2008: 141-155 |
54 | EE | Manuela Xavier,
Ana Cavalcanti,
Augusto Sampaio:
Type Checking Circus Specifications.
Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008) |
53 | EE | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
2007 |
52 | EE | Ana Cavalcanti,
Marie-Claude Gaudel:
Testing for Refinement in CSP.
ICFEM 2007: 151-170 |
51 | | Emine G. Aydal,
Jim Woodcock,
Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
ICSOFT (SE) 2007: 290-295 |
50 | EE | Manuela Xavier,
Ana Cavalcanti:
Mechanised Refinement of Procedures.
Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007) |
49 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A Denotational Semantics for Circus.
Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007) |
2006 |
48 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Springer 2006 |
47 | | Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
Springer 2006 |
46 | EE | Angela Freitas,
Ana Cavalcanti:
Automatic Translation from Circus to Java.
FM 2006: 115-130 |
45 | EE | Ana Cavalcanti,
Phil Clayton:
Verification of Control Systems using Circus.
ICECCS 2006: 269-278 |
44 | EE | Steve Schneider,
Helen Treharne,
Ana Cavalcanti,
Jim Woodcock:
A Layered Behavioural Model of Platelets.
ICECCS 2006: 98-106 |
43 | EE | Leo Freitas,
Ana Cavalcanti,
Jim Woodcock:
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.
ICFEM 2006: 697-716 |
42 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Unifying Theories in ProofPower-Z.
UTP 2006: 123-140 |
41 | EE | Thiago L. V. L. Santos,
Ana Cavalcanti,
Augusto Sampaio:
Object-Orientation in the UTP.
UTP 2006: 18-37 |
40 | EE | Ana Cavalcanti,
Will Harwood,
Jim Woodcock:
Pointers and Records in the Unifying Theories of Programming.
UTP 2006: 200-216 |
39 | EE | Ana Cavalcanti,
Jim Woodcock,
Steve Dunne:
Angelic nondeterminism in the unifying theories of programming.
Formal Asp. Comput. 18(3): 288-307 (2006) |
38 | EE | Leo Freitas,
Jim Woodcock,
Ana Cavalcanti:
State-rich model checking.
ISSE 2(1): 49-64 (2006) |
2005 |
37 | EE | Jim Woodcock,
Ana Cavalcanti,
Leonardo Freitas:
Operational Semantics for Model Checking Circus.
FM 2005: 237-252 |
36 | EE | Ana Cavalcanti,
Phil Clayton,
Colin O'Halloran:
Control Law Diagrams in Circus.
FM 2005: 253-268 |
35 | EE | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005) |
34 | EE | Ana Cavalcanti,
Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming.
Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005) |
33 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Formal development of industrial-scale systems in Circus.
ISSE 1(2): 125-146 (2005) |
32 | EE | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Unifying classes and processes.
Software and System Modeling 4(3): 277-296 (2005) |
2004 |
31 | EE | Marcel Oliveira,
Ana Cavalcanti:
From Circus to JCSP.
ICFEM 2004: 320-340 |
30 | EE | Adnan Sherif,
Jifeng He,
Ana Cavalcanti,
Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
ICTAC 2004: 478-493 |
29 | EE | Jim Woodcock,
Ana Cavalcanti:
A Tutorial Introduction to Designs in Unifying Theories of Programming.
IFM 2004: 40-66 |
28 | EE | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement: An overview.
PSSE 2004: 1-17 |
27 | EE | Ana Cavalcanti,
Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming.
PSSE 2004: 220-268 |
26 | EE | Marcel Oliveira,
Manuela Xavier,
Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics.
SEFM 2004: 310-319 |
25 | EE | Ana Cavalcanti,
Patrícia D. L. Machado:
Preface.
Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004) |
24 | EE | Paulo Borba,
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio:
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program. 52: 53-100 (2004) |
2003 |
23 | EE | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
FME 2003: 301-320 |
22 | EE | Angela Freitas,
Carla Nascimento,
Ana Cavalcanti:
A Refinement Tool for Z.
ICFEM 2003: 396-415 |
21 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
ArcAngel: a Tactic Language for Refinement.
Formal Asp. Comput. 15(1): 28-47 (2003) |
20 | EE | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
A Refinement Strategy for Circus.
Formal Asp. Comput. 15(2-3): 146-181 (2003) |
19 | | Ana Cavalcanti,
Jim Woodcock:
Predicate transformers in the semantics of Circus.
IEE Proceedings - Software 150(2): 85-94 (2003) |
2002 |
18 | EE | Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti:
Refinement in Circus.
FME 2002: 451-470 |
17 | EE | Ana Cavalcanti,
David A. Naumann:
Forward Simulation for Data Refinement of Classes.
FME 2002: 471-490 |
16 | EE | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
Refinement Algebra for Formal Bytecode Generation.
ICFEM 2002: 347-358 |
15 | EE | Ana Cavalcanti,
Augusto Sampaio:
From CSP-OZ to Java with Processes.
IPDPS 2002 |
14 | EE | Jim Woodcock,
Ana Cavalcanti:
The Semantics of Circus.
ZB 2002: 184-203 |
13 | EE | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
12 | EE | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement of actions in Circus.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
2001 |
11 | EE | Jim Woodcock,
Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP.
APSEC 2001: 291-298 |
10 | EE | Jim Woodcock,
Ana Cavalcanti:
A Concurrent Language for Refinement.
IWFM 2001 |
2000 |
9 | EE | Ana Cavalcanti,
David A. Naumann:
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.
IEEE Trans. Software Eng. 26(8): 713-728 (2000) |
1999 |
8 | | Geber Ramalho,
Flávia A. Barros,
Sérgio Cavalcante,
Ana Cavalcanti,
Manoel Lima,
Silvio Romero de Lemos Meira,
Hermano Moura,
Alexandre Vasconcelos:
Cyber Rally: An experience of democratic use of the internet.
HCI (2) 1999: 402-406 |
7 | EE | Ana Cavalcanti,
David A. Naumann:
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement.
World Congress on Formal Methods 1999: 1439-1459 |
6 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program. 33(1): 87-96 (1999) |
1998 |
5 | | Ana Cavalcanti,
Jim Woodcock:
A Weakest Precondition Semantics for Z.
Comput. J. 41(1): 1-15 (1998) |
4 | EE | Ana Cavalcanti,
Jim Woodcock:
ZRC - A Refinement Calculus for Z.
Formal Asp. Comput. 10(3): 267-289 (1998) |
3 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comp. Soc. 5(1): (1998) |
1992 |
2 | | Silvio Romero de Lemos Meira,
Ana Cavalcanti:
MooZ Case Studies.
Object Orientation in Z 1992: 37-58 |
1990 |
1 | | Silvio Romero de Lemos Meira,
Ana Cavalcanti:
Modular Object-oriented Z Specifications.
Z User Workshop 1990: 173-192 |