Formal Object Oriented Specification Using Object-Z, Paperback / softback Book

Formal Object Oriented Specification Using Object-Z Paperback / softback

Part of the Cornerstones of Computing series

Description

This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z.

It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation.

Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description. A practical and rigorous approach to object-oriented formal specification.

Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.

Information

  • Format: Paperback / softback
  • Pages: 240 pages, 240 p.
  • Publisher: Palgrave Macmillan
  • Publication Date:
  • Category: Object-oriented programming (OOP)
  • ISBN: 9780333801239

£64.99

£61.15

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also in the Cornerstones of Computing series   |  View all