Ana Cavalcanti
Title
Cited by
Cited by
Year
The semantics of Circus
J Woodcock, A Cavalcanti
International Conference of B and Z Users, 184-203, 2002
2792002
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1782003
A concurrent language for refinement
JCP Woodcock, A Cavalcanti
5th Irish Workshop on Formal Methods, 2001
167*2001
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1-2), 3-32, 2009
1472009
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
IEEE TSE 26 (8), 713-728, 2000
117*2000
A refinement calculus for Z
ALC Cavalcanti
116*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
1112004
A tutorial introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Refinement techniques in software engineering, 220-268, 2006
992006
Refinement in Circus
A Sampaio, J Woodcock, A Cavalcanti
FME 2002: Formal Methods—Getting IT Right, 1-15, 2002
952002
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
891998
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
872012
Unifying classes and processes
A Cavalcanti, A Sampaio, J Woodcock
Software & Systems Modeling 4 (3), 277-296, 2005
86*2005
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
671999
Automatic translation from Circus to Java
A Freitas, A Cavalcanti
International Symposium on Formal Methods, 115-130, 2006
642006
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
612010
A tutorial introduction to designs in Unifying Theories of Programming
J Woodcock, A Cavalcanti
Integrated Formal Methods, 40-66, 2004
562004
Control law diagrams in Circus
A Cavalcanti, P Clayton, C O’Halloran
International Symposium on Formal Methods, 253-268, 2005
552005
A weakest precondition semantics for Circus
ALC Cavalcanti, JCP Woodcock
Proceedings of the Communicating Processing Architectures 2002, 2002
46*2002
Refinement of actions in Circus
A Cavalcanti, A Sampaio, J Woodcock
Electronic notes in theoretical computer science 70 (3), 132-162, 2002
452002
The system can't perform the operation now. Try again later.
Articles 1–20