Follow
Ana Cavalcanti
Title
Cited by
Cited by
Year
The Semantics of Circus
J Woodcock, A Cavalcanti
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
2992002
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1842003
A concurrent language for refinement
JCP Woodcock, A Cavalcanti
5th Irish Workshop on Formal Methods, 2001
181*2001
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1-2), 3-32, 2009
1652009
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
IEEE TSE 26 (8), 713-728, 2000
122*2000
A refinement calculus for Z
ALC Cavalcanti
120*1997
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
1191998
A tutorial introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Refinement techniques in software engineering, 220-268, 2006
1172006
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
1132004
RoboChart: modelling and verification of the functional behaviour of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock
Software & Systems Modeling 18 (5), 3097-3149, 2019
1072019
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
1022012
Refinement in Circus
A Sampaio, J Woodcock, A Cavalcanti
FME 2002: Formal Methods—Getting IT Right, 1-15, 2002
992002
Theoretical aspects of computing, Proceedings (Lecture Notes in Computer Science)
K Barkaoui, A Cavalcanti, A Cerone
Springer-Verlag New York Inc, 2006
95*2006
Modular object-oriented Z specifications
SRL Meira, A Cavalcanti
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop, 173-192, 1990
90*1990
Unifying classes and processes
A Cavalcanti, A Sampaio, J Woodcock
Software & Systems Modeling 4 (3), 277-296, 2005
87*2005
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
International Symposium on Formal Methods, 1439-1459, 1999
711999
A tutorial introduction to designs in Unifying Theories of Programming
J Woodcock, A Cavalcanti
Integrated Formal Methods, 40-66, 2004
672004
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
662010
Automatic translation from Circus to Java
A Freitas, A Cavalcanti
International Symposium on Formal Methods, 115-130, 2006
642006
ArcAngel: a tactic language for refinement
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 15 (1), 28-47, 2003
562003
The system can't perform the operation now. Try again later.
Articles 1–20