Formal Object-oriented Specification Using Object-Z
Title | Formal Object-oriented Specification Using Object-Z PDF eBook |
Author | Roger Duke |
Publisher | MacMillan |
Pages | 229 |
Release | 2000 |
Genre | Object-oriented programming (Computer science) |
ISBN | 9780333801239 |
This text 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.
The Object-Z Specification Language
Title | The Object-Z Specification Language PDF eBook |
Author | Graeme Smith |
Publisher | Springer Science & Business Media |
Pages | 155 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 1461552656 |
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
Formal Object-Oriented Development
Title | Formal Object-Oriented Development PDF eBook |
Author | Kevin Lano |
Publisher | Springer Science & Business Media |
Pages | 435 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 1447130731 |
Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices. The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.
Formal Specification in Object-Z
Title | Formal Specification in Object-Z PDF eBook |
Author | D. Duke |
Publisher | |
Pages | 30 |
Release | 1989 |
Genre | Computer network protocols |
ISBN |
First half of this report is concerned with a description of the syntax and informal semantics of Object-Z. To describe the relevant ideas we work through a specification of the familiar object-oriented 'shapes' example. In the second half of.
ZUM '95: The Z Formal Specification Notation
Title | ZUM '95: The Z Formal Specification Notation PDF eBook |
Author | Jonathan P. Bowen |
Publisher | Springer Science & Business Media |
Pages | 596 |
Release | 1995-08-23 |
Genre | Computers |
ISBN | 9783540602712 |
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
The Object-Z Specification Language
Title | The Object-Z Specification Language PDF eBook |
Author | Graeme Smith |
Publisher | Springer |
Pages | 146 |
Release | 1999-12-31 |
Genre | Computers |
ISBN | 9780792386841 |
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
Formal Specification and Documentation Using Z
Title | Formal Specification and Documentation Using Z PDF eBook |
Author | Jonathan Peter Bowen |
Publisher | |
Pages | 324 |
Release | 1996 |
Genre | Computers |
ISBN |