Formal Object Oriented Specification Using Object-z - Couverture souple

Duke, Roger; Rose, Gordon

 
9780333801239: Formal Object Oriented Specification Using Object-z
Couverture souple
ISBN 10 : 0333801237 ISBN 13 : 9780333801239
Editeur : 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Red Globe Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0333801237
ISBN 13 
9780333801239
Reliure
Broché
Nombre de pages
240
Coordonnées du fabricant
non disponible
Personne responsable
non disponible