Woodcock, Jim.

Overview

Works:	0 works in 4 publications in 1 languages

Titles

Software Engineering for Robotics by: Timmis, Jon.; Cavalcanti, Ana.; SpringerLink (Online service); Dongol, Brijesh.; Hierons, Rob.; Woodcock, Jim. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Oliveira, Marcel Vinicius Medeiros.; SpringerLink (Online service) (Language materials, printed)

The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement / by: Woodcock, Jim.; Foster, Simon.; Sampaio, Augusto.; SpringerLink (Online service) (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: SpringerLink (Online service); Qin, Shengchao.; Woodcock, Jim.; Zhang, Wenhui. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Meyer, Bertrand. (Language materials, printed)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: Liu, Zhiming.; Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (Language materials, printed)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: Woodcock, Jim.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: Zhu, Huibiao.; SpringerLink (Online service); Woodcock, Jim.; Liu, Zhiming. (Language materials, printed)

Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: VSTTE 2008 ((2008 :); SpringerLink (Online service); Shankar, N.; Woodcock, Jim. (Language materials, printed)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Meyer, Bertrand.; SpringerLink (Online service) (Language materials, printed)

Subjects

Artificial intelligence. Software engineering. Theory of Computation. Computer programs Computer programming Logics and Meanings of Programs. Computer science Computer networks . Operating Systems. Formal Languages and Automata Theory. Robotics and Automation. Computer Science. Management of Computing and Information Systems. Formal methods (Computer science) Computer organization. Computer engineering. Programming Techniques. Computer programming. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Artificial Intelligence. Robotics. Software engineering Programming Languages, Compilers, Interpreters. Models and Principles. Software Engineering. Software Engineering/Programming and Operating Systems. Computer software. Automation. Programming Language. Computer Engineering and Networks. Simulation and Modeling.