Formal Object Oriented Specification Using Object-z - Brossura

Duke, Roger; Rose, Gordon

 
9780333801239: Formal Object Oriented Specification Using Object-z
Brossura
ISBN 10: 0333801237 ISBN 13: 9780333801239
Casa editrice: Red Globe Pr, 2000

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sugli autori

ROGER DUKE and GORDON ROSE are lecturers in the Software Verification Research Centre, Department of Computer Science and Electrical Engineering at the University of Queensland.
ROGER DUKE and GORDON ROSE are lecturers in the Software Verification Research Centre, Department of Computer Science and Electrical Engineering at the University of Queensland.



ROGER DUKE and GORDON ROSE are lecturers in the Software Verification Research Centre, Department of Computer Science and Electrical Engineering at the University of Queensland.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Red Globe Pr
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0333801237
ISBN 13 
9780333801239
Rilegatura
Copertina flessibile
Numero di pagine
240
Contatto del produttore
non disponibile
Persona responsabile
non disponibile