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 |