Woodcock, Jim.
Woodcock, Jim, 1956-....
Woodcock, James
Jim Woodcock British computer scientist
VIAF ID: 145747617 (Personal)
Permalink: http://viaf.org/viaf/145747617
Preferred Forms
-
100 0 _ ‡a Jim Woodcock ‡c British computer scientist
-
200 _ | ‡a Woodcock ‡b Jim ‡f 1956-....
-
100 1 _ ‡a Woodcock, James
-
100 1 _ ‡a Woodcock, James
-
100 1 0 ‡a Woodcock, Jim
-
-
-
-
-
-
-
-
100 1 _ ‡a Woodcock, Jim ‡d 1956-
-
-
100 1 _ ‡a Woodcock, Jim, ‡d 1956-....
-
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
Contracts in CML |
![]() |
FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() |
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19–23, 1993 : proceedings |
![]() ![]() ![]() ![]() ![]() |
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays |
![]() ![]() ![]() ![]() |
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings |
![]() ![]() ![]() |
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers |
![]() ![]() ![]() |
Industrial benefit and advances in formal methods |
![]() ![]() |
Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings |
![]() ![]() ![]() ![]() ![]() ![]() |
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare |
![]() |
PSSE 2004 |
![]() ![]() |
Refinement techniques in software engineering : First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 : revised lectures |
![]() ![]() ![]() ![]() |
Refinement Workshop (3rd : 1990 : IBM UK Laboratories). 3rd Refinement Workshop, 1991: |
![]() ![]() ![]() ![]() |
SBMF 2009 |
![]() |
Software engineering mathematics, 1989: |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Special section on the 1999 Formal Methods Conference (FM '99) |
![]() |
Systems of Systems Engineering |
![]() |
Theoretical aspects of computing : ICTAC 2007 : 4th International colloquium, Macao, China, September 26-28, 2007 : proceedings |
![]() ![]() |
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design |
![]() |
A Tutorial Introduction to CSP in Unifying Theories of Programming |
![]() |
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 |
![]() ![]() ![]() ![]() ![]() |
Using Z : specification, refinement, and proof |
![]() ![]() ![]() ![]() ![]() ![]() |
Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings |
![]() ![]() ![]() |
VSTTE 2008 |
![]() |
What can agile methods bring to high-integrity software development? |
![]() |