512:
585:
666:
691:
686:
651:
569:
258:
681:
676:
671:
622:
716:
145:
488:
706:
412:
345:
181:
149:
390:
308:
656:
562:
244:
72:
711:
701:
696:
208:
76:
404:
615:
374:
292:
661:
220:
555:
316:
449:
430:
278:
608:
341:
157:
228:
185:
173:
153:
62:
646:
216:
641:
212:
200:
177:
111:
321:
535:
361:
193:
189:
162:
119:
115:
493:
386:
304:
592:
539:
224:
97:
454:
408:
273:
511:
497:
236:
232:
101:
52:
635:
401:
382:
357:
300:
204:
196:, where, since October 2012, he has been head of the Department of Computer Science.
444:
425:
240:
80:
424:
Jim
Woodcock, Susan Stepney, David Cooper, John Clark, and Jeremy Jacob,
584:
483:
478:
133:
262:
667:
Members of the
Department of Computer Science, University of Oxford
502:
426:
The certification of the Mondex electronic purse to ITSEC Level E6
266:
591:
This article on a computer specialist of the United
Kingdom is a
506:
254:
235:, Grand Challenge in the railway domain. He has a background in
251:
169:
317:
Software
Engineering Mathematics: Formal Methods Demystified
596:
543:
402:
129:
107:
93:
68:
58:
48:
30:
23:
250:Woodcock worked on applying the Z notation to the
434:, Volume 20, Number 1, pages 5–19, January 2008.
385:International Series in Computer Science, 1996.
303:International Series in Computer Science, 1996.
616:
563:
379:Using Z: Specification, Refinement, and Proof
297:Using Z: Specification, Refinement, and Proof
8:
692:Fellows of the Royal Academy of Engineering
259:Queen's Award for Technological Achievement
623:
609:
570:
556:
510:
20:
534:This biographical article relating to a
687:Fellows of the British Computer Society
334:
199:His research interests include: strong
413:Oxford University Computing Laboratory
346:Oxford University Computing Laboratory
182:Oxford University Computing Laboratory
652:Alumni of the University of Liverpool
7:
581:
579:
523:
521:
682:Academics of the University of York
677:Academics of the University of Kent
672:Fellows of Kellogg College, Oxford
595:. You can help Knowledge (XXG) by
542:. You can help Knowledge (XXG) by
14:
717:British computer specialist stubs
176:. Until 2001 he was Professor of
707:British academic journal editors
583:
314:Jim Woodcock and Martin Loomes,
209:unifying theories of programming
184:, where he was also a Fellow of
265:, helping to gain the highest
1:
134:www.cs.york.ac.uk/people/jim
657:British computer scientists
450:Formal Aspects of Computing
431:Formal Aspects of Computing
279:Formal Aspects of Computing
257:project, helping to gain a
142:James Charles Paul Woodcock
733:
578:
520:
16:British computer scientist
125:
86:
712:Computer scientist stubs
702:British textbook writers
697:Computer science writers
496:publications indexed by
192:and is now based at the
407:2 December 2008 at the
174:University of Liverpool
63:University of Liverpool
269:classification level.
223:, state-rich systems,
662:Formal methods people
342:Jim Woodcock homepage
203:, Grand Challenge in
188:. He then joined the
509:Bibliography Server
322:Taylor & Francis
213:formal specification
201:software engineering
178:Software Engineering
168:Woodcock gained his
112:University of Oxford
207:systems evolution,
536:computer scientist
362:University of York
320:. Kindle Edition,
272:Prof. Woodcock is
194:University of York
190:University of Kent
163:computer scientist
120:University of York
116:University of Kent
604:
603:
551:
550:
484:Personal homepage
479:Official homepage
391:978-0-13-948472-8
373:Jim Woodcock and
358:Official homepage
309:978-0-13-948472-8
291:Jim Woodcock and
239:, especially the
139:
138:
88:Scientific career
724:
625:
618:
611:
587:
580:
572:
565:
558:
527:P ≟ NP
522:
514:
489:Research profile
466:
465:
463:
461:
441:
435:
422:
416:
399:
393:
371:
365:
355:
349:
339:
160:
98:Computer science
44:
40:
38:
21:
732:
731:
727:
726:
725:
723:
722:
721:
632:
631:
630:
629:
577:
576:
529:
518:
475:
470:
469:
459:
457:
443:
442:
438:
423:
419:
409:Wayback Machine
400:
396:
372:
368:
356:
352:
340:
336:
331:
288:
274:editor-in-chief
186:Kellogg College
144:
118:
114:
59:Alma mater
42:
36:
34:
26:
17:
12:
11:
5:
730:
728:
720:
719:
714:
709:
704:
699:
694:
689:
684:
679:
674:
669:
664:
659:
654:
649:
644:
634:
633:
628:
627:
620:
613:
605:
602:
601:
588:
575:
574:
567:
560:
552:
549:
548:
531:
525:
516:
515:
500:
498:Google Scholar
491:
486:
481:
474:
473:External links
471:
468:
467:
436:
417:
394:
366:
350:
333:
332:
330:
327:
326:
325:
312:
287:
284:
237:formal methods
233:nanotechnology
229:reconfigurable
137:
136:
131:
127:
126:
123:
122:
109:
105:
104:
102:formal methods
95:
91:
90:
84:
83:
70:
69:Known for
66:
65:
60:
56:
55:
50:
46:
45:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
729:
718:
715:
713:
710:
708:
705:
703:
700:
698:
695:
693:
690:
688:
685:
683:
680:
678:
675:
673:
670:
668:
665:
663:
660:
658:
655:
653:
650:
648:
647:Living people
645:
643:
640:
639:
637:
626:
621:
619:
614:
612:
607:
606:
600:
598:
594:
589:
586:
582:
573:
568:
566:
561:
559:
554:
553:
547:
545:
541:
537:
532:
528:
524:
519:
513:
508:
504:
501:
499:
495:
492:
490:
487:
485:
482:
480:
477:
476:
472:
456:
452:
451:
446:
440:
437:
433:
432:
427:
421:
418:
414:
410:
406:
403:
398:
395:
392:
388:
384:
383:Prentice-Hall
380:
376:
370:
367:
363:
359:
354:
351:
347:
343:
338:
335:
328:
323:
319:
318:
313:
310:
306:
302:
301:Prentice-Hall
298:
294:
290:
289:
285:
283:
281:
280:
275:
270:
268:
264:
260:
256:
253:
248:
246:
242:
238:
234:
230:
226:
222:
218:
214:
210:
206:
202:
197:
195:
191:
187:
183:
179:
175:
171:
166:
164:
161:is a British
159:
155:
151:
147:
143:
135:
132:
128:
124:
121:
117:
113:
110:
106:
103:
99:
96:
92:
89:
85:
82:
78:
74:
71:
67:
64:
61:
57:
54:
51:
47:
43:(age 68)
33:
29:
22:
19:
597:expanding it
590:
544:expanding it
533:
526:
517:
503:Jim Woodcock
494:Jim Woodcock
458:. Retrieved
448:
439:
429:
420:
397:
378:
369:
353:
337:
315:
296:
277:
271:
249:
198:
167:
141:
140:
108:Institutions
87:
25:Jim Woodcock
18:
642:1956 births
460:23 February
231:processes,
221:concurrency
49:Nationality
41:7 June 1956
636:Categories
375:Jim Davies
329:References
293:Jim Davies
241:Z notation
217:refinement
205:dependable
81:Z notation
37:1956-06-07
445:"Editors"
282:journal.
172:from the
455:Springer
405:Archived
324:, 2007.
276:of the
180:at the
130:Website
53:British
530:
389:
307:
263:Mondex
261:, and
225:mobile
94:Fields
538:is a
415:, UK.
364:, UK.
286:Books
267:ITSEC
156:
152:
148:
146:FREng
593:stub
540:stub
507:DBLP
462:2019
387:ISBN
305:ISBN
255:CICS
243:and
227:and
158:CITP
154:CEng
150:FBCS
31:Born
505:at
252:IBM
245:CSP
170:PhD
77:UTP
73:CSP
638::
453:.
447:.
428:,
411:,
381:.
377:,
360:,
344:,
299:.
295:,
247:.
219:,
215:,
211:,
165:.
100:,
79:,
75:,
39:)
624:e
617:t
610:v
599:.
571:e
564:t
557:v
546:.
464:.
348:.
311:.
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.