Languages
Woodcock, Jim.
Overview
Works: | 15 works in 2 publications in 1 languages |
---|
Titles
Dependable software engineeringtheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings /
by:
(1998 :); Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui.
(Electronic resources)
Verified software: theories, tools, experimentssecond international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(1998 :); Shankar, N.; SpringerLink (Online service); Woodcock, Jim.
(Language materials, printed)
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
by:
(1998 :); Cavalcanti, Ana.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Formal methodsfoundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(1998 :); Oliveira, Marcel Vinicius Medeiros.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Formal methods and software engineering5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
by:
(1998 :); Dong, Jin Song, (1967-); SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Verified Software: Theories, Tools, ExperimentsFirst IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
(1998 :); Meyer, Bertrand.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume I /
by:
(1998 :); Davies, Jim.; SpringerLink (Online service); Wing, Jeannette Marie.; Woodcock, Jim.
(Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume II /
by:
(1998 :); Davies, Jim.; SpringerLink (Online service); Wing, Jeannette Marie.; Woodcock, Jim.
(Electronic resources)
Software engineering for robotics
by:
Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Management of Computing and Information Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Robotics.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Software engineering.
Models and Principles.
Computer programs
Artificial Intelligence.
Computer Science.
Application software
Computer Systems Organization and Communication Networks.
Computer software.
Robotics and Automation.