Formal Object Oriented Specification Using Object-Z
Buch in deiner Nähe kaufen
Beschreibung
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.
A practical and rigorous approach to objectoriented formal specification which is well illustrated with a variety of case studies
A comprehensive introduction to ObjectZ (objectoriented formal specification language) including its syntax and selected aspects of its semantics
The key roles of formal specification are illustrated by the inclusion of example proofs
Graphical techniques are integrated with formal specification text to help students understand the subject
Autor*in
Roger Duke
Themen in »Formal Object Oriented Specification Using Object-Z«
development formal specification formal verification inheritance language object orientation semantics software software development verification