Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing) - Softcover

Roger Duke; Gordon Rose

 
9780333801239: Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing)
Softcover
ISBN 10: 0333801237 ISBN 13: 9780333801239
Publisher: Red Globe Press, 2000

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

GORDON ROSE is Lecturer in the Software Verification Research Centre at the University of Queensland, Australia.; ROGER DUKE is Lecturer in the Software Verification Research Centre at the University of Queensland, Australia.

"About this title" may belong to another edition of this title.

Publisher
Red Globe Press
Publication date
2000
Language
English
ISBN 10 
0333801237
ISBN 13 
9780333801239
Binding
Paperback
Number of pages
240