Ana Cavalcanti
Titel
Citeras av
Citeras av
År
The semantics of Circus
J Woodcock, A Cavalcanti
International Conference of B and Z Users, 184-203, 2002
2782002
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1732003
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
1462009
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
114*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
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
882012
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
871998
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
661999
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
602010
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
Refinement of actions in Circus
A Cavalcanti, A Sampaio, J Woodcock
Electronic notes in theoretical computer science 70 (3), 132-162, 2002
462002
Refinement of actions in Circus
A Cavalcanti, A Sampaio, J Woodcock
Electronic notes in theoretical computer science 70 (3), 132-162, 2002
462002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20