|
Search the dblp DataBase
Ana Cavalcanti:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jim Woodcock, Ana Cavalcanti
The Steam Boiler in a Unified Theory of Z and CSP. [Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:291-298 [Conf]
- Ana Cavalcanti, Phil Clayton, Colin O'Halloran
Control Law Diagrams in Circus. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:253-268 [Conf]
- Ana Cavalcanti, David A. Naumann
Forward Simulation for Data Refinement of Classes. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:471-490 [Conf]
- Ana Cavalcanti, David A. Naumann
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1439-1459 [Conf]
- Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. [Citation Graph (0, 0)][DBLP] FME, 2003, pp:301-320 [Conf]
- Angela Freitas, Ana Cavalcanti
Automatic Translation from Circus to Java. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:115-130 [Conf]
- Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
Refinement in Circus. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:451-470 [Conf]
- Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
Operational Semantics for Model Checking Circus. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:237-252 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] HCI (2), 1999, pp:402-406 [Conf]
- Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
Refinement Algebra for Formal Bytecode Generation. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:347-358 [Conf]
- Leo Freitas, Ana Cavalcanti, Jim Woodcock
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:697-716 [Conf]
- Angela Freitas, Carla Nascimento, Ana Cavalcanti
A Refinement Tool for Z. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:396-415 [Conf]
- Marcel Oliveira, Ana Cavalcanti
From Circus to JCSP. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:320-340 [Conf]
- Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:478-493 [Conf]
- Jim Woodcock, Ana Cavalcanti
A Tutorial Introduction to Designs in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:40-66 [Conf]
- Ana Cavalcanti, Augusto Sampaio
From CSP-OZ to Java with Processes. [Citation Graph (0, 0)][DBLP] IPDPS, 2002, pp:- [Conf]
- Jim Woodcock, Ana Cavalcanti
A Concurrent Language for Refinement. [Citation Graph (0, 0)][DBLP] IWFM, 2001, pp:- [Conf]
- Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
Refine and Gabriel: Support for Refinement and Tactics. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:310-319 [Conf]
- Ana Cavalcanti, Will Harwood, Jim Woodcock
Pointers and Records in the Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:200-216 [Conf]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying Theories in ProofPower-Z. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:123-140 [Conf]
- Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
Object-Orientation in the UTP. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:18-37 [Conf]
- Silvio Romero de Lemos Meira, Ana Cavalcanti
Modular Object-oriented Z Specifications. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1990, pp:173-192 [Conf]
- Silvio Romero de Lemos Meira, Ana Cavalcanti
MooZ Case Studies. [Citation Graph (0, 0)][DBLP] Object Orientation in Z, 1992, pp:37-58 [Conf]
- Jim Woodcock, Ana Cavalcanti
The Semantics of Circus. [Citation Graph (0, 0)][DBLP] ZB, 2002, pp:184-203 [Conf]
- Ana Cavalcanti, Jim Woodcock
A Weakest Precondition Semantics for Z. [Citation Graph (0, 0)][DBLP] Comput. J., 1998, v:41, n:1, pp:1-15 [Journal]
- Ana Cavalcanti, Patrícia D. L. Machado
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Refinement of actions in Circus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
- Ana Cavalcanti, Jim Woodcock
Angelic Nondeterminism and Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:45-66 [Journal]
- Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring by Transformation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
- Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring Towards a Layered Architecture. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:281-300 [Journal]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
A Refinement Strategy for Circus. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2003, v:15, n:2-3, pp:146-181 [Journal]
- Ana Cavalcanti, Jim Woodcock
ZRC - A Refinement Calculus for Z. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:3, pp:267-289 [Journal]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
ArcAngel: a Tactic Language for Refinement. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2003, v:15, n:1, pp:28-47 [Journal]
- Ana Cavalcanti, Jim Woodcock, Steve Dunne
Angelic nondeterminism in the unifying theories of programming. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:3, pp:288-307 [Journal]
- Ana Cavalcanti, Jim Woodcock
Predicate transformers in the semantics of Circus. [Citation Graph (0, 0)][DBLP] IEE Proceedings - Software, 2003, v:150, n:2, pp:85-94 [Journal]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Procedures and Recursion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP] J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal]
- Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
Algebraic reasoning for object-oriented programming. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2004, v:52, n:, pp:53-100 [Journal]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1999, v:33, n:1, pp:87-96 [Journal]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Unifying classes and processes. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:3, pp:277-296 [Journal]
- Ana Cavalcanti, David A. Naumann
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2000, v:26, n:8, pp:713-728 [Journal]
- Ana Cavalcanti, Phil Clayton
Verification of Control Systems using Circus. [Citation Graph (0, 0)][DBLP] ICECCS, 2006, pp:269-278 [Conf]
- Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
A Layered Behavioural Model of Platelets. [Citation Graph (0, 0)][DBLP] ICECCS, 2006, pp:98-106 [Conf]
- Ana Cavalcanti, Marie-Claude Gaudel
Testing for Refinement in CSP. [Citation Graph (0, 0)][DBLP] ICFEM, 2007, pp:151-170 [Conf]
- Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Refinement: An overview. [Citation Graph (0, 0)][DBLP] PSSE, 2004, pp:1-17 [Conf]
- Ana Cavalcanti, Jim Woodcock
A Tutorial Introduction to CSP in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP] PSSE, 2004, pp:220-268 [Conf]
- Manuela Xavier, Ana Cavalcanti
Mechanised Refinement of Procedures. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:63-80 [Journal]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
A Denotational Semantics for Circus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:107-123 [Journal]
Communication Systems in ClawZ. [Citation Graph (, )][DBLP]
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. [Citation Graph (, )][DBLP]
A Theory of Pointers for the UTP. [Citation Graph (, )][DBLP]
Mechanised Translation of Control Law Diagrams into Circus. [Citation Graph (, )][DBLP]
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. [Citation Graph (, )][DBLP]
Encoding Circus Programs in ProofPowerZ. [Citation Graph (, )][DBLP]
Type Checking Circus Specifications. [Citation Graph (, )][DBLP]
Mechanical Reasoning about Families of UTP Theories. [Citation Graph (, )][DBLP]
Stateflow Diagrams in Circus. [Citation Graph (, )][DBLP]
Supporting ArcAngel in ProofPower. [Citation Graph (, )][DBLP]
Search in 0.018secs, Finished in 0.022secs
|