Woodcock, Jim.

概要

作品:	15 作品在 2 項出版品 1 種語言

書目資訊

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. (書目-電子資源)

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. (書目-語言資料,印刷品)

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. (書目-電子資源)

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. (書目-電子資源)

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. (書目-電子資源)

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. (書目-電子資源)

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. (書目-電子資源)

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. (書目-電子資源)

Software engineering for robotics by: Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim. (書目-電子資源)

主題

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.