Search - List of Books by Jim Woodcock

Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.

Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York.

His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, unifying theories of programming, formal specification, refinement, concurrency, state-rich systems, mobile and reconfigurable processes, nanotechnology, Grand Challenge in the railway domain. He has a background in formal methods, especially the Z notation and CSP.

Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement, and Mondex, helping to gain the highest ITSEC classification level.

Books   more �

This author page uses material from the Wikipedia article "Jim Woodcock", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 5
Using Z Specification Refinement and Proof
1996 - Using Z Specification Refinement and Proof [Prentice-Hall International Series in Computer Science] (Other)
ISBN-13: 9780139484728
ISBN-10: 0139484728
Genre: Computers & Technology

Software Engineering Mathematics
1989 - Software Engineering Mathematics [Sei Series in Software Engineering] (Hardcover)Paperback
ISBN-13: 9780201504248
ISBN-10: 0201504243
Genre: Computers & Technology

Software Engineering Mathematics
1988 - Software Engineering Mathematics (Paperback)Paperback, Hardcover
ISBN-13: 9780273026730
ISBN-10: 0273026739
Genre: Computers & Technology

St Louis Blues hockey club 1967-2002 Note by note
St Louis Blues Hockey Club 1967-2002 Note By Note (Other)
ISBN-13: 9780972354608
ISBN-10: 0972354603
Genre: Sports & Outdoors