Követés
Ana Cavalcanti
Cím
Hivatkozott rá
Hivatkozott rá
Év
The Semantics of Circus
J Woodcock, A Cavalcanti
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
2952002
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15 (2-3), 146-181, 2003
1832003
A concurrent language for refinement
JCP Woodcock, A Cavalcanti
5th Irish Workshop on Formal Methods, 2001
180*2001
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1-2), 3-32, 2009
1652009
ZRC–a refinement calculus for Z
A Cavalcanti, J Woodcock
Formal Aspects of Computing 10 (3), 267-289, 1998
1221998
A refinement calculus for Z
ALC Cavalcanti
122*1997
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
IEEE TSE 26 (8), 713-728, 2000
121*2000
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
1122004
A tutorial introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock
Refinement techniques in software engineering, 220-268, 2006
1092006
Refinement in Circus
A Sampaio, J Woodcock, A Cavalcanti
FME 2002: Formal Methods—Getting IT Right, 1-15, 2002
1002002
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
992012
Unifying classes and processes
A Cavalcanti, A Sampaio, J Woodcock
Software & Systems Modeling 4 (3), 277-296, 2005
87*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
86*1990
Theoretical aspects of computing, Proceedings (Lecture Notes in Computer Science)
K Barkaoui, A Cavalcanti, A Cerone
Springer-Verlag New York Inc, 2006
84*2006
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
712019
A weakest precondition semantics for an object-oriented language of refinement
A Cavalcanti, DA Naumann
International Symposium on Formal Methods, 1439-1459, 1999
701999
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
652010
A tutorial introduction to designs in Unifying Theories of Programming
J Woodcock, A Cavalcanti
Integrated Formal Methods, 40-66, 2004
642004
Automatic translation from Circus to Java
A Freitas, A Cavalcanti
International Symposium on Formal Methods, 115-130, 2006
632006
Control law diagrams in Circus
A Cavalcanti, P Clayton, C O’Halloran
International Symposium on Formal Methods, 253-268, 2005
542005
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20