The Object-Z Specification Language

The Object-Z Specification Language
Graeme Smith, Graeme Smith
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
January 31, 2024 | History

The Object-Z Specification Language

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.

Publish Date
Pages
164

Buy this book

Previews available in: English

Edition Availability
Cover of: The Object-Z Specification Language
The Object-Z Specification Language
2000, Springer US
electronic resource / in English
Cover of: The Object-Z Specification Language
The Object-Z Specification Language
Dec 31, 1999, Springer My Copy UK
paperback

Add another edition?

Book Details


The Physical Object

Format
paperback
Number of pages
164

Edition Identifiers

Open Library
OL27973992M
ISBN 10
1461552664
ISBN 13
9781461552666

Work Identifiers

Work ID
OL19891782W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
January 31, 2024 Edited by ImportBot import existing book
April 29, 2020 Created by ImportBot Imported from amazon.com record