Jim Woodcock
发表
Jim Woodcock,
A. W. Roscoe,
Lars Wulf,
1994,
J. Comput. Secur..
Simon Foster,
Jim Woodcock,
Mario Gleirscher,
2018,
ArXiv.
Jim Woodcock,
Kangfeng Ye,
J. Woodcock,
2015,
International Journal on Software Tools for Technology Transfer.
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.
Jim Woodcock,
Andrew Butterfield,
2004,
International Journal on Software Tools for Technology Transfer.
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.
Jim Woodcock,
Gerard Ekembe Ngondi,
2016,
UTP.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2005,
Software & Systems Modeling.
Jim Woodcock,
Ana Cavalcanti,
Emine Gokce Aydal,
2007,
ICSOFT.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013,
Lecture Notes in Computer Science.
Jim Woodcock,
Peter Gorm Larsen,
1995,
IEEE Trans. Software Eng..
Jim Woodcock,
Susan Stepney,
David Cooper,
1998,
ZUM.
Jim Woodcock,
Peter Gorm Larsen,
Alexandre Mota,
2015
.
Jim Woodcock,
Roy Sterritt,
Mike Hinchey,
2008
.
Jim Woodcock,
Jim Davies,
J. Woodcock,
1996,
Prentice Hall international series in computer science.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2015,
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2005,
Innovations in Systems and Software Engineering.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
1998,
Formal Aspects of Computing.
Jim Woodcock,
J. Woodcock,
2004,
WMF.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013
.
Jim Woodcock,
Carroll Morgan,
Richard S. Bird,
1992
.
Jim Woodcock,
Kangfeng Ye,
2017
.
Jim Woodcock,
Peter Gorm Larsen,
Peter Fritzson,
2016,
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data).
Jim Woodcock,
Ana Cavalcanti,
Nuno Amálio,
2016,
ICFEM.
Jim Woodcock,
Marie-Claude Gaudel,
1996,
Lecture Notes in Computer Science.
Jim Woodcock,
2010
.
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2008,
UTP.
Jim Woodcock,
Paul H. B. Gardiner,
P. J. Lupton,
1990,
Z User Workshop.
Jim Woodcock,
Alistair A. McEwan,
2004,
IFIP Congress Topical Sessions.
Jim Woodcock,
2006,
Computer.
Jim Woodcock,
Leo Freitas,
2006,
ICTAC.
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2007,
ICFEM.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Jim Woodcock,
Andrew William Roscoe,
C. A. R. Hoare,
2000
.
Jim Woodcock,
Richard F. Paige,
Mark Utting,
2009,
2009 International Conference on Software Testing Verification and Validation.
Jim Woodcock,
Ana Cavalcanti,
Nuno Amálio,
2016,
ICTAC.
Jim Woodcock,
Jim Davies,
Charles Crichton,
1999,
Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).
Jim Woodcock,
Yichi Zhang,
Leo Freitas,
2009,
Sci. Comput. Program..
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
Innovations in Systems and Software Engineering.
Jim Woodcock,
Ana Cavalcanti,
David Déharbe,
2010,
ICTAC.
Jim Woodcock,
Diyaa-Addein Atiya,
Steve King,
2003,
FME.
Jim Woodcock,
Andrew Butterfield,
J. Woodcock,
2003,
MFCSIT.
Jim Woodcock,
Samuel Canham,
J. Woodcock,
2014,
UTP.
Augusto Sampaio,
Jim Woodcock,
Paulo Borba,
2010,
PSSE.
Jim Woodcock,
Jane Sinclair,
2005,
Formal Aspects of Computing.
Jim Woodcock,
Kun Wei,
J. Woodcock,
2014,
UTP.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018
.
Jim Woodcock,
Neil White,
Roderick Chapman,
2017,
Commun. ACM.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2009,
Formal Aspects of Computing.
Jim Woodcock,
Zheng Fu,
Leo Freitas,
2007,
ICECCS.
Jim Woodcock,
Victor Bandur,
J. Woodcock,
2013,
SBMF.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018
.
Jim Woodcock,
Ana Cavalcanti,
Steve Dunne,
2006,
Formal Aspects of Computing.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
World Congress on Formal Methods.
Jim Woodcock,
Carroll Morgan,
Richard S. Bird,
1993
.
Jim Woodcock,
Ana Cavalcanti,
2005,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Mark Utting,
Emine Gokce Aydal,
2008,
TOOLS.
Jim Woodcock,
Gift Nuka,
J. Woodcock,
2004,
WMF.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2003,
Formal Aspects of Computing.
Jim Woodcock,
Marcel Oliveira,
J. Woodcock,
2007,
ICFEM.
Jim Woodcock,
Andrew Butterfield,
Pawel Gancarski,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Jim Woodcock,
Richard F. Paige,
Osmar Marchi dos Santos,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Jim Woodcock,
Susan Stepney,
David Cooper,
2000
.
Jim Woodcock,
2002
.
Jim Woodcock,
Brian Matthews,
Juan Bicarregui,
2010,
ERCIM News.
Jim Woodcock,
Jeannette M. Wing,
2000,
Formal Methods Syst. Des..
Jim Woodcock,
Victor Bandur,
J. Woodcock,
2012,
UTP.
Jim Woodcock,
Jeannette M. Wing,
2000,
IEEE Trans. Software Eng..
Jim Woodcock,
Peter Gorm Larsen,
J. Woodcock,
1993,
Lecture Notes in Computer Science.
Jim Woodcock,
Xinbei Tang,
J. Woodcock,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2006
.
Jim Woodcock,
Ana Cavalcanti,
Alvaro Miyazawa,
2017,
Present and Ulterior Software Engineering.
Jim Woodcock,
Konstantinos Mokos,
Leo Freitas,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jim Woodcock,
Andrew Butterfield,
J. Woodcock,
2003,
FMICS.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
1999,
Sci. Comput. Program..
Jim Woodcock,
Xinbei Tang,
2004,
MPC.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2018,
FACS.
Jim Woodcock,
1991,
VDM Europe.
Jim Woodcock,
Ana Cavalcanti,
Marcel Vinicius Medeiros Oliveira,
2004
.
Jim Woodcock,
Emine Gokce Aydal,
2009,
2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.
Alan Burns,
Jim Woodcock,
Kun Wei,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Jim Woodcock,
Jin Song Dong,
Icfem,
2003
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
1998,
J. Braz. Comput. Soc..
Simon Foster,
Jim Woodcock,
Frank Zeyda,
2014,
UTP.
Jim Woodcock,
Ana Cavalcanti,
Peter Gorm Larsen,
2012,
2012 7th International Conference on System of Systems Engineering (SoSE).
Jim Woodcock,
Carroll Morgan,
1990,
VDM Europe.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
UTP.
Jim Woodcock,
Peter Gorm Larsen,
1993,
FME.
Jim Woodcock,
Susan Stepney,
David Cooper,
2002
.
Jim Woodcock,
Ana Cavalcanti,
Kun Wei,
2012,
UTP.
Simon Foster,
Jim Woodcock,
J. Woodcock,
2013,
ICTAC Training School on Software Engineering.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2004,
PSSE.
Jim Woodcock,
Brian Matthews,
Juan Bicarregui,
2009,
iPRES.
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013,
Lecture Notes in Computer Science.
Jim Woodcock,
Paul H. B. Gardiner,
J. R. Hulance,
1994,
Z User Workshop.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2007,
Refine@ICFEM.
Jim Woodcock,
Ana Cavalcanti,
2004,
IFM.
Augusto Sampaio,
Jim Woodcock,
Pedro R. G. Antonino,
2014,
FM.
Jim Woodcock,
Helen Treharne,
Steve Schneider,
2006
.
Simon Foster,
Jim Woodcock,
Andrew Butterfield,
2016,
ISoLA.
Jim Woodcock,
Ana Cavalcanti,
Marcel Oliveira,
2006,
Formal Aspects of Computing.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2013,
CSDM.
Jim Woodcock,
Cliff B. Jones,
Zhiming Liu,
2007,
ICTAC.
Jim Woodcock,
Ana Cavalcanti,
Jon Timmis,
2019,
Software & Systems Modeling.
Augusto Sampaio,
Jim Woodcock,
Juliano Iyoda,
2011,
Acta Informatica.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2011,
JTRES '11.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2016,
SETSS.
Jim Woodcock,
B. Dickinson,
J. Woodcock,
1988,
VDM Europe.
Jim Woodcock,
Carroll Morgan,
1991
.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2017,
SEFM Workshops.
Alan Burns,
Jim Woodcock,
Kun Wei,
2010,
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
Jim Woodcock,
Richard F. Paige,
Emine Gokce Aydal,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Jim Woodcock,
Kangfeng Ye,
2017
.
Jim Woodcock,
Leo Freitas,
2007,
Formal Aspects of Computing.
Jim Woodcock,
Andrew Butterfield,
J. Woodcock,
2006,
MFCSIT.
Jim Woodcock,
2005,
Abstract State Machines.
Jim Woodcock,
Andrew P. Martin,
Paul H. B. Gardiner,
1996,
Formal Aspects of Computing.
Jim Woodcock,
Leo Freitas,
2009,
Int. J. Softw. Informatics.
Jim Woodcock,
Andrew Butterfield,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jim Woodcock,
Leo Freitas,
M Saaltink,
2009
.
Jim Woodcock,
Arthur P. Hughes,
2002,
ICFEM.
Jim Woodcock,
Samuel Canham,
2014,
Lecture Notes in Computer Science.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2014,
2014 9th International Conference on System of Systems Engineering (SOSE).
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2009,
Sci. Comput. Program..
Jim Woodcock,
Alistair A. McEwan,
J. Woodcock,
2008,
UTP.
Simon Foster,
Jim Woodcock,
Kangfeng Ye,
2019,
From Astrophysics to Unconventional Computation.
Jim Woodcock,
Cliff B. Jones,
Zhiming Liu,
2004
.
Jim Woodcock,
2006,
UTP.
Simon Foster,
Jim Woodcock,
2016,
SETSS.
Jim Woodcock,
1990
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2017,
Theor. Comput. Sci..
Jim Woodcock,
Cliff B. Jones,
J. Woodcock,
2006,
Computer.
Jim Woodcock,
Matthew Naylor,
James Mistry,
2014,
Softw. Pract. Exp..
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2011,
FM.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2019,
Sci. Comput. Program..
Jim Woodcock,
Rod Chapman,
Emine Gökçe Aydal,
2010,
Reflections on the Work of C. A. R. Hoare.
Jim Woodcock,
Leo Freitas,
J. Woodcock,
2007,
Formal Aspects of Computing.
Jim Woodcock,
Bernard Sufrin,
1987,
Softw. Eng. J..
Jim Woodcock,
Huibiao Zhu,
Zhiming Liu,
2013
.
Jim Woodcock,
Susan Stepney,
David Cooper,
2000
.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2009,
FM.
Jim Woodcock,
2002
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2003
.
Jim Woodcock,
1989,
Softw. Eng. J..
Simon Foster,
Jim Woodcock,
Mario Gleirscher,
2018,
ACM Comput. Surv..
Jim Woodcock,
Marcel Vinícius Medeiros Oliveira,
Ivan Soares de Medeiros Júnior,
2013,
SEFM.
Jim Woodcock,
Alexandre Mota,
R. Marinho,
2018,
SBMF.
Alan Burns,
Jim Woodcock,
Kun Wei,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Simon Foster,
Jim Woodcock,
Peter Gorm Larsen,
2016,
ISoLA.
Jim Woodcock,
Ana Cavalcanti,
Jan Peleska,
2015,
ICTAC.
Jim Woodcock,
Leo Freitas,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2009,
Sci. Comput. Program..
Jim Woodcock,
Andrew Butterfield,
2002
.
Jim Woodcock,
Zheng Fu,
Leo Freitas,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Alan Burns,
Jim Woodcock,
Kun Wei,
2013,
Formal Methods Syst. Des..
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2001,
IWFM.
Jim Woodcock,
Gift Nuka,
2006,
UTP.
Jim Woodcock,
1991,
VDM Europe.
Jim Woodcock,
1991,
VDM Europe.
Jim Woodcock,
Kangfeng Ye,
2017
.
Jim Woodcock,
Marcel Vinicius Medeiros Oliveira,
2009,
SBMF.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
ICFEM.
Jim Woodcock,
Leo Freitas,
2007,
Electron. Notes Theor. Comput. Sci..
Simon Foster,
Jim Woodcock,
Frank Zeyda,
2016,
ICTAC.
Jim Woodcock,
Jin Song Dong,
J. Woodcock,
2004
.
Jim Woodcock,
Ana Cavalcanti,
Will Harwood,
2006,
UTP.
Jim Woodcock,
J. Woodcock,
2008,
UTP.
Jim Woodcock,
Richard F. Paige,
Emine Gokce Aydal,
2007
.
Jim Woodcock,
Alexandre Mota,
Adalberto Farias,
2014,
SEFM.
Jim Woodcock,
Peter Gorm Larsen,
1993
.
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Jim Woodcock,
Ana Cavalcanti,
Steve A. Schneider,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Simon Foster,
Jim Woodcock,
2015,
Dependable Software Systems Engineering.
Jim Woodcock,
Juan Ignacio Perna,
2009,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Richard F. Paige,
Osmar Marchi dos Santos,
2009,
FMCO.
Jim Woodcock,
J. Woodcock,
2006,
Computer.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2002,
Refine.
Jim Woodcock,
Diyaa-Addein Atiya,
Steve King,
2005,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Richard Banach,
J. Woodcock,
2007,
J. Univers. Comput. Sci..
Jim Woodcock,
1996,
CSUR.
Jim Woodcock,
Jeannette M. Wing,
2000,
Formal Aspects of Computing.
Jim Woodcock,
J. Woodcock,
2014,
FM.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2018,
ISoLA.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2003,
IEE Proc. Softw..
Jim Woodcock,
Richard F. Paige,
Emine Gokce Aydal,
2008,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2013,
Industrial Deployment of System Engineering Methods.
Jim Woodcock,
Cliff B. Jones,
Zhiming Liu,
2007,
Formal Methods and Hybrid Real-Time Systems.
Jim Woodcock,
Jim Davies,
Christie Marr,
1999,
IFM.
Jim Woodcock,
Paul H. B. Gardiner,
Andrew Martin,
1996
.
Jim Woodcock,
1992,
Comput. J..
Jim Woodcock,
Marie-Claude Gaudel,
1996,
FME 1996.
Jim Woodcock,
Leo Freitas,
2007,
Formal Methods and Hybrid Real-Time Systems.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2002,
ZB.
Jim Woodcock,
Ana Cavalcanti,
Marcel Vinicius Medeiros Oliveira,
2005
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2006,
PSSE.
Jim Woodcock,
Ana Cavalcanti,
Pedro Ribeiro,
2016,
UTP.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2006
.
Jim Woodcock,
Martin Loomes,
1988
.
Simon Foster,
Jim Woodcock,
Ana Cavalcanti,
2014,
ISoLA.
Jim Woodcock,
Paul Boca,
2008,
ABZ.
Simon Foster,
Jim Woodcock,
J. Woodcock,
2017,
Concurrency, Security, and Puzzles.
Jim Woodcock,
Andrew Butterfield,
Adnan Sherif,
2007
.
Jim Woodcock,
1991
.
Jim Woodcock,
C. A. R. Hoare,
Juan Bicarregui,
2006,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Richard F. Paige,
2010,
Encyclopedia of Software Engineering.
Jim Woodcock,
Elena Troubitsyna,
Michael J. Butler,
2009,
Refinement Based Methods for the Construction of Dependable Systems.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2006
.
Jim Woodcock,
Ana Cavalcanti,
2002
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2006
.
Jim Woodcock,
Richard F. Paige,
Louis M. Rose,
2012,
ECMFA.
Alan Burns,
Jim Woodcock,
Kun Wei,
2013,
Formal Methods Syst. Des..
Jim Woodcock,
Jim Davies,
Bill Roscoe,
2000
.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2003,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
J. Woodcock,
2004,
PSSE.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2012,
Formal Aspects of Computing.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2005,
FM.
Jim Woodcock,
Cliff B. Jones,
劉 志明,
2007
.
Jim Woodcock,
Natarajan Shankar,
2008
.
Andy J. Wellings,
Jim Woodcock,
Ana Cavalcanti,
2013,
Real-Time Systems.
Jim Woodcock,
Carroll Morgan,
Richard S. Bird,
1992,
Lecture Notes in Computer Science.
Jim Woodcock,
Ana Cavalcanti,
1998,
Comput. J..
Jim Woodcock,
Jaco van de Pol,
Mario Gleirscher,
2021,
Electronic Proceedings in Theoretical Computer Science.
Jim Woodcock,
Hugo Daniel Macedo,
Peter Gorm Larsen,
2021,
Formal Aspects Comput..
Jim Woodcock,
Mario Gleirscher,
Jaco van de Pol,
2021,
ArXiv.
Simon Foster,
Jim Woodcock,
Thomas Santen,
2021,
Theories of Programming.
Simon Foster,
Jim Woodcock,
Chung-Kil Hur,
2021,
CONCUR.
Simon Foster,
Jim Woodcock,
Kangfeng Ye,
2021,
Software and Systems Modeling.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
Lecture Notes in Computer Science.
Jim Woodcock,
Martin Loomes,
J. Woodcock,
1988
.
Jim Woodcock,
Ana Cavalcanti,
2010
.
Jim Woodcock,
Richard F. Paige,
Emine G. Aydal,
2007
.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2007
.