The Object-Z Specification Language

Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by ImportBot
October 5, 2021 | 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
Publisher
Springer US
Language
English
Pages
146

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


Edition Notes

Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.

Published in
Boston, MA
Series
Advances in Formal Methods -- 1, Advances in formal methods -- 1.

Classifications

Dewey Decimal Class
006
Library of Congress
QA75.5-76.95, Q334-342

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (xiii, 146 p.)
Number of pages
146

ID Numbers

Open Library
OL27078236M
Internet Archive
objectzspecifica00smit_396
ISBN 10
1461374014, 1461552656
ISBN 13
9781461374015, 9781461552659
OCLC/WorldCat
851830376

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 5, 2021 Edited by ImportBot import existing book
July 6, 2019 Created by MARC Bot import new book