  1996 - Using Z Specification Refinement and Proof [Prentice-Hall International Series in Computer Science] (Other) ISBN-13: 9780139484728 ISBN-10: 0139484728 Genre: Computers & Technology ?  1989 - Software Engineering Mathematics [Sei Series in Software Engineering] (Hardcover) ISBN-13: 9780201504248 ISBN-10: 0201504243 Genre: Computers & Technology ?  1988 - Software Engineering Mathematics (Paperback) ISBN-13: 9780273026730 ISBN-10: 0273026739 Genre: Computers & Technology ?  Fme '96 Industrial Benefit of Formal Methods Third International Symposium of Formal Methods Europe Cosponsored By Ifip Wg 143 Oxford Uk March 1822 [Lecture Notes in Computer Science] (Hardcover) ISBN-13: 9780387609737 ISBN-10: 0387609733 Genre: Computers & Technology ?  St Louis Blues Hockey Club 19672002 Note By Note (Other) ISBN-13: 9780972354608 ISBN-10: 0972354603 Genre: Sports & Outdoors ? |
Skip to main content
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search 
Kiosk
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Amazon Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Discussion Forums
Book Lists
Blog
Donations
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
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.
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
