Ana Cavalcanti
TitleCited byYear
The semantics of Circus
J Woodcock, A Cavalcanti
International Conference of B and Z Users, 184-203, 2002
2752002
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1742003
A concurrent language for refinement
JCP Woodcock, A Cavalcanti
5th Irish Workshop on Formal Methods, 2001
166*2001
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1-2), 3-32, 2009
1442009
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
IEEE TSE 26 (8), 713-728, 2000
116*2000
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
1121998
A refinement calculus for Z
ALC Cavalcanti
112*1997
Algebraic reasoning for object-oriented programming
P Borba, A Sampaio, A Cavalcanti, M CornÚlio
Science of Computer Programming 52 (1-3), 53-100, 2004
1102004
A tutorial introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Refinement techniques in software engineering, 220-268, 2006
1002006
Refinement in Circus
A Sampaio, J Woodcock, A Cavalcanti
FME 2002: Formal Methods—Getting IT Right, 1-15, 2002
932002
Unifying classes and processes
A Cavalcanti, A Sampaio, J Woodcock
Software & Systems Modeling 4 (3), 277-296, 2005
85*2005
Features of CML: A formal modelling language for Systems of Systems
J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry
System of Systems Engineering (SoSE), 2012 7th International Conference on, 1-6, 2012
842012
Modular object-oriented Z specifications
SRL Meira, A Cavalcanti
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop, 173-192, 1990
79*1990
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
International Symposium on Formal Methods, 1439-1459, 1999
651999
Automatic translation from Circus to Java
A Freitas, A Cavalcanti
International Symposium on Formal Methods, 115-130, 2006
622006
A process algebraic framework for specification and validation of real-time systems
A Sherif, A Cavalcanti, H Jifeng, A Sampaio
Formal Aspects of Computing 22 (2), 153-191, 2010
592010
A tutorial introduction to designs in Unifying Theories of Programming
J Woodcock, A Cavalcanti
Integrated Formal Methods, 40-66, 2004
582004
Control law diagrams in Circus
A Cavalcanti, P Clayton, C O’Halloran
International Symposium on Formal Methods, 253-268, 2005
552005
Theoretical aspects of computing, Proceedings (Lecture Notes in Computer Science)
K Barkaoui, A Cavalcanti, A Cerone
Springer-Verlag New York Inc, 2006
52*2006
A weakest precondition semantics for Circus
ALC Cavalcanti, JCP Woodcock
Proceedings of the Communicating Processing Architectures 2002, 2002
46*2002
The system can't perform the operation now. Try again later.
Articles 1–20