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.
Simon Foster, Jim Woodcock, Ana Cavalcanti, 2016, UTP.
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.
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, 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, 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, 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, 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, Diyaa-Addein Atiya, Steve King, 2003, FME.
Jim Woodcock, Andrew Butterfield, J. Woodcock, 2003, MFCSIT.
Jim Woodcock, Samuel Canham, J. Woodcock, 2014, UTP.
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, 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, 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, Brian Matthews, Juan Bicarregui, 2010, ERCIM News.
Jim Woodcock, Victor Bandur, J. Woodcock, 2012, UTP.
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.
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, J. Woodcock, 1990, VDM Europe.
Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2006, UTP.
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.
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, 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, 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, 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.
Simon Foster, Jim Woodcock, 2016, SETSS.
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, Susan Stepney, David Cooper, 2000 .
Jim Woodcock, Peter Gorm Larsen, John S. Fitzgerald, 2009, FM.
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, Leo Freitas, 2007, Electron. Notes Theor. Comput. Sci..
Simon Foster, Jim Woodcock, Frank Zeyda, 2016, ICTAC.
Jim Woodcock, Ana Cavalcanti, Will Harwood, 2006, UTP.
Jim Woodcock, J. Woodcock, 2008, UTP.
Jim Woodcock, Alexandre Mota, Adalberto Farias, 2014, SEFM.
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.
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, 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, Jim Davies, Christie Marr, 1999, IFM.
Jim Woodcock, Paul H. B. Gardiner, Andrew Martin, 1996 .
Jim Woodcock, 1992, Comput. J..
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 .
Jim Woodcock, Ana Cavalcanti, Pedro Ribeiro, 2016, UTP.
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..
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.
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, 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, Ana Cavalcanti, Leo Freitas, 2007 .