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

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