Ana Cavalcanti
发表
Augusto Sampaio,
Ana Cavalcanti,
Frank Zeyda,
2014,
FM.
Jim Woodcock,
Ana Cavalcanti,
David Déharbe,
2010
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2016,
UTP.
Wei Li,
Jim Woodcock,
Ana Cavalcanti,
2016,
DARS.
Jim Woodcock,
Ana Cavalcanti,
Alexandre Mota,
2013,
Theories of Programming and Formal Methods.
Ana Cavalcanti,
Marie-Claude Gaudel,
Alex D. B. Alberto,
2017,
Inf. Softw. Technol..
Wei Li,
Ana Cavalcanti,
Jonathan Timmis,
2017,
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Ana Cavalcanti,
Alvaro Miyazawa,
2015,
Refine@FM.
Ana Cavalcanti,
C. Florissi,
Patricia G. Soares,
1987
.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2015,
SBMF.
Jim Woodcock,
Ana Cavalcanti,
Will Harwood,
2008,
ICTAC.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018,
RAMiCS.
Ana Cavalcanti,
2003
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2005,
Software & Systems Modeling.
Ana Cavalcanti,
Andy Wellings,
Alvaro Miyazawa,
2019,
Sci. Comput. Program..
Jim Woodcock,
Ana Cavalcanti,
Emine Gokce Aydal,
2007,
ICSOFT.
Ana Cavalcanti,
Patrícia Duarte de Lima Machado,
2004,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Pedro Ribeiro,
2014,
UTP.
Ana Cavalcanti,
Silvio Romero de Lemos Meira,
Alexandre Marcos Lins de Vasconcelos,
1999,
HCI.
Ana Cavalcanti,
Pedro Ribeiro,
2014,
ICTAC.
Ana Cavalcanti,
Marcel Vinicius Medeiros Oliveira,
2000
.
Andy J. Wellings,
Ana Cavalcanti,
Neeraj Kumar Singh,
2012,
JTRES '12.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2005,
Innovations in Systems and Software Engineering.
Ana Cavalcanti,
Alvaro Miyazawa,
2011,
Refine@FM.
Andy J. Wellings,
Ana Cavalcanti,
Matt Luckcuck,
2013,
JTRES '13.
Augusto Sampaio,
Ana Cavalcanti,
Paulo Borba,
2004,
Sci. Comput. Program..
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
1998,
Formal Aspects of Computing.
Augusto Sampaio,
Ana Cavalcanti,
Jifeng He,
2004,
ICTAC.
Ana Cavalcanti,
Marie-Claude Gaudel,
2014,
FASE.
Kamel Barkaoui,
Ana Cavalcanti,
Manfred Broy,
2008,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Nuno Amálio,
2016,
ICFEM.
Ana Cavalcanti,
Silvio Romero de Lemos Meira,
1990,
Z User Workshop.
Augusto Sampaio,
Ana Cavalcanti,
Adolfo Duran,
2009,
Formal Aspects of Computing.
Ana Cavalcanti,
Jan Peleska,
Wen-ling Huang,
2019,
Sci. Comput. Program..
Ana Cavalcanti,
Robert M. Hierons,
Marie-Claude Gaudel,
2011,
ICTSS.
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2017,
Software & Systems Modeling.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Ana Cavalcanti,
Abdulrazaq Abba,
Jeremy Jacob,
2020,
ArXiv.
Ana Cavalcanti,
Pedro Ribeiro,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2015,
SEFM.
Jim Woodcock,
Ana Cavalcanti,
Nuno Amálio,
2016,
ICTAC.
Ana Cavalcanti,
Karin Breitman,
Icfem,
2009,
ICFEM.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2016,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
Innovations in Systems and Software Engineering.
Ana Cavalcanti,
Adenilso da Silva Simão,
A. Cavalcanti,
2017,
ICTSS.
Wei Li,
Ana Cavalcanti,
Jonathan Timmis,
2017,
IFM.
Jim Woodcock,
Ana Cavalcanti,
David Déharbe,
2010,
ICTAC.
Ana Cavalcanti,
Andy Wellings,
Matt Luckcuck,
2017,
Concurr. Comput. Pract. Exp..
Ana Cavalcanti,
John S. Fitzgerald,
Stefania Gnesi,
2019,
Formal Aspects of Computing.
Ana Cavalcanti,
Marie-Claude Gaudel,
M. Gaudel,
2015,
Theor. Comput. Sci..
Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone,
2006
.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2014,
ICFEM.
Ana Cavalcanti,
Frank Zeyda,
2009,
IFM.
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2011,
Sci. Comput. Program..
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018
.
Ana Cavalcanti,
David A. Naumann,
1999,
World Congress on Formal Methods.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2009,
Formal Aspects of Computing.
Simon Foster,
Ana Cavalcanti,
Frank Zeyda,
2017,
SEFM Workshops.
Ana Cavalcanti,
C. Florissi,
Patricia G. Soares,
1987
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018
.
Jim Woodcock,
Ana Cavalcanti,
Steve Dunne,
2006,
Formal Aspects of Computing.
Augusto Sampaio,
Ana Cavalcanti,
Adolfo Duran,
2001
.
Ana Cavalcanti,
Alvaro Miyazawa,
Lucas Lima,
2013,
ICFEM.
Jim Woodcock,
Ana Cavalcanti,
2005,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Marcel Oliveira,
Manuela Xavier,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2003,
Formal Aspects of Computing.
Augusto Sampaio,
Ana Cavalcanti,
Adolfo Duran,
2003,
FME.
Ana Cavalcanti,
Frank Zeyda,
2009,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Marie-Claude Gaudel,
2008,
UTP.
Ana Cavalcanti,
James Baxter,
A. Cavalcanti,
2017,
IFM.
Ana Cavalcanti,
Frank Zeyda,
2015
.
Ana Cavalcanti,
Colin O'Halloran,
Philip B. Clayton,
2011,
Formal Aspects of Computing.
Ana Cavalcanti,
Marie-Claude Gaudel,
Jim Woodcock,
2008
.
Ana Cavalcanti,
Marie-Claude Gaudel,
M. Gaudel,
2011,
Acta Informatica.
Ana Cavalcanti,
Robert M. Hierons,
James Baxter,
2019,
TAP@FM.
Ana Cavalcanti,
Dennis Dams,
2009
.
Jim Woodcock,
Ana Cavalcanti,
Alvaro Miyazawa,
2017,
Present and Ulterior Software Engineering.
Ana Cavalcanti,
Frank Zeyda,
Chris Marriott,
2012
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
1999,
Sci. Comput. Program..
Ana Cavalcanti,
Frank Zeyda,
Frank Zeyda,
2009,
Sci. Comput. Program..
Ana Cavalcanti,
Hermano Perrelli de Moura,
A. Sheriff,
2002
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018,
FACS.
Ana Cavalcanti,
Frank Zeyda,
2013,
Refine@IFM.
Ana Cavalcanti,
Marcel Oliveira,
M. Oliveira,
2004,
ICFEM.
Augusto Sampaio,
Ana Cavalcanti,
A. Cavalcanti,
2002,
Proceedings 16th International Parallel and Distributed Processing Symposium.
Ana Cavalcanti,
Pedro Ribeiro,
2019,
Theor. Comput. Sci..
Ana Cavalcanti,
Angela Freitas,
Carla Nascimento,
2003,
ICFEM.
Ana Cavalcanti,
Alvaro Miyazawa,
Alvaro Miyazawa,
2014,
IFM.
Ana Cavalcanti,
Kangfeng Ye,
Jim Woodcock,
2020,
ArXiv.
Augusto Sampaio,
Ana Cavalcanti,
Rodrigo Otoni,
2017,
SBMF.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
1998,
J. Braz. Comput. Soc..
Jim Woodcock,
Ana Cavalcanti,
Peter Gorm Larsen,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
UTP.
Ana Cavalcanti,
Silvio Romero de Lemos Meira,
1992,
Object Orientation in Z.
Ana Cavalcanti,
Sidney Nogueira,
Rob Hierons,
2020,
ACM Trans. Comput. Log..
Ana Cavalcanti,
Marie-Claude Gaudel,
M. Gaudel,
2007,
ICFEM.
Jim Woodcock,
Ana Cavalcanti,
Kun Wei,
2012,
UTP.
Ana Cavalcanti,
2012,
Sci. Comput. Program..
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2004,
PSSE.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2007,
Refine@ICFEM.
Jim Woodcock,
Ana Cavalcanti,
2004,
IFM.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Jon Timmis,
2019,
Software & Systems Modeling.
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2011,
Formal Aspects of Computing.
Ana Cavalcanti,
Hermano Perrelli de Moura,
Leonardo Freitas,
2001,
FME 2001.
Ana Cavalcanti,
Frank Zeyda,
2008,
UTP.
Augusto Sampaio,
Ana Cavalcanti,
Robert M. Hierons,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Augusto Sampaio,
Ana Cavalcanti,
Manuela Xavier,
2008,
Electron. Notes Theor. Comput. Sci..
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2011,
JTRES '11.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2016,
SETSS.
Ana Cavalcanti,
Chris Marriott,
2014,
FM.
Augusto Sampaio,
Ana Cavalcanti,
Leonardo Freitas,
2002,
Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002).
André L. M. Santos,
Ana Cavalcanti,
Fabiano Cutigi Ferrari,
2017,
GPCE.
Wei Li,
Augusto Sampaio,
Ana Cavalcanti,
2019,
Sci. Comput. Program..
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2014,
2014 9th International Conference on System of Systems Engineering (SOSE).
Ana Cavalcanti,
Laure Petrucci,
Cristina Seceleanu,
2017,
Lecture Notes in Computer Science.
Augusto Sampaio,
Ana Cavalcanti,
Bruno G. M. de Oliveira,
2002
.
Andy J. Wellings,
Ana Cavalcanti,
Frank Zeyda,
2011,
ICFEM.
Ana Cavalcanti,
David Déharbe,
Marie-Claude Gaudel,
2011
.
Ana Cavalcanti,
David Déharbe,
2012,
Theor. Comput. Sci..
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2017,
Theor. Comput. Sci..
Ana Cavalcanti,
Marcel Oliveira,
2008,
Electron. Notes Theor. Comput. Sci..
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2011,
FM.
Ana Cavalcanti,
Lin Gui,
Francesco Alberti,
2014
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2019,
Sci. Comput. Program..
Ana Cavalcanti,
Frank Zeyda,
Marcel Oliveira,
2009,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Dennis Dams,
2009,
FM.
Ana Cavalcanti,
Frank Zeyda,
Chris Marriott,
2012,
ABZ.
Jim Woodcock,
Ana Cavalcanti,
Jan Peleska,
2015,
ICTAC.
Ana Cavalcanti,
Marie-Claude Gaudel,
Dennis Dams,
2011,
Formal Aspects of Computing.
Ana Cavalcanti,
Laure Petrucci,
Cristina Seceleanu,
2018
.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2001,
IWFM.
Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone,
2006,
ICTAC.
Augusto Sampaio,
Ana Cavalcanti,
Thiago L. V. L. Santos,
2006,
UTP.
Ana Cavalcanti,
Philip B. Clayton,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Andy J. Wellings,
Ana Cavalcanti,
Matt Luckcuck,
2016,
IFM.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
ICFEM.
Ana Cavalcanti,
Silvio Romero de Lemos Meira,
S. Meira,
1989
.
Ana Cavalcanti,
Silvio Romero de Lemos Meira,
Cássio Souza dos Santos,
1994
.
Jim Woodcock,
Ana Cavalcanti,
Will Harwood,
2006,
UTP.
Andy J. Wellings,
Ana Cavalcanti,
James Baxter,
2016,
IFM.
Jim Woodcock,
Ana Cavalcanti,
Steve A. Schneider,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Ana Cavalcanti,
Colin O'Halloran,
Philip B. Clayton,
2005,
FM.
Ana Cavalcanti,
David A. Naumann,
2002,
FME.
Ana Cavalcanti,
Alvaro Miyazawa,
2013,
Formal Aspects of Computing.
Augusto Sampaio,
Ana Cavalcanti,
Jifeng He,
2010,
Formal Aspects of Computing.
Ana Cavalcanti,
Alvaro Miyazawa,
2012,
Sci. Comput. Program..
Ana Cavalcanti,
Adenilso Simao,
2018,
Software Quality Journal.
Ana Cavalcanti,
Frank Zeyda,
2014,
Formal Aspects of Computing.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2002,
Refine.
Ana Cavalcanti,
Angela Freitas,
2006
.
Ana Cavalcanti,
David A. Naumann,
2000,
IEEE Trans. Software Eng..
Augusto Sampaio,
Ana Cavalcanti,
Marcel Vinícius Medeiros Oliveira,
2016,
ICFEM.
Andy J. Wellings,
Ana Cavalcanti,
James Baxter,
2015,
JTRES.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2003,
IEE Proc. Softw..
Ana Cavalcanti,
Karin Breitman,
2009
.
Ana Cavalcanti,
Alvaro Miyazawa,
2015,
SBMF 2015.
Ana Cavalcanti,
Manuela Xavier,
2007,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2002,
ZB.
Ana Cavalcanti,
Richard Hawkins,
Tim Kelly,
2014,
SAFECOMP.
Jim Woodcock,
Ana Cavalcanti,
Pedro Ribeiro,
2016,
UTP.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2014,
ISoLA.
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2010,
Science of Computer Programming.
Andy J. Wellings,
Ana Cavalcanti,
Frank Zeyda,
2014,
Comput. J..
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2005,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Ana Cavalcanti,
Richard F. Paige,
2010,
Encyclopedia of Software Engineering.
Ana Cavalcanti,
A. Cavalcanti,
2009,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
Kangfeng Ye,
Jim Woodcock,
2019,
UTP.
Ana Cavalcanti,
1997
.
Ana Cavalcanti,
Angela Freitas,
Ana Cavalcanti,
2006,
FM.
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2002,
Electron. Notes Theor. Comput. Sci..
Ana Cavalcanti,
S. L. Coutinho,
T.P.C. Reis,
1999
.
Ana Cavalcanti,
Frank Zeyda,
2010,
SBMF.
Ana Cavalcanti,
Alvaro Miyazawa,
2015,
SBMF.
Ana Cavalcanti,
2017,
SBMF.
Ana Cavalcanti,
Frank Zeyda,
Michael Vernon,
2010,
ASM.
Wei Li,
Augusto Sampaio,
Ana Cavalcanti,
2018,
IFM.
Jim Woodcock,
Ana Cavalcanti,
2002
.
Augusto Sampaio,
Ana Cavalcanti,
Marcel Vinícius Medeiros Oliveira,
2018,
Inf. Process. Lett..
Ana Cavalcanti,
Robert M. Hierons,
2013,
FASE.
Ana Cavalcanti,
Dennis Dams,
2010,
Formal Methods Syst. Des..
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2003,
Formal Aspects of Computing.
Ana Cavalcanti,
Frank Zeyda,
Frank Zeyda,
2012,
UTP.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2004,
PSSE.
Ana Cavalcanti,
Marie-Claude Gaudel,
2010,
UTP.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2012,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2005,
FM.
Ana Cavalcanti,
Jim Woodcock,
Colin O'Halloran,
2013,
Formal Aspects of Computing.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2013,
Real-Time Systems.
Jim Woodcock,
Ana Cavalcanti,
1998,
Comput. J..
Ana Cavalcanti,
Abdulrazaq Abba,
Jeremy Jacob,
2021,
SBMF.
Ana Cavalcanti,
Pedro Ribeiro,
James Baxter,
2021,
Acta Informatica.
Augusto Sampaio,
Ana Cavalcanti,
Dehui Du,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Jim Woodcock,
Ana Cavalcanti,
2010
.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2007
.