By Graeme Smith
Object-Z is an object-oriented extension of the formal specification language Z. It provides to Z notions of periods and gadgets, and inheritance and polymorphism. via extending Z's semantic foundation, it allows the specification of platforms as collections of self reliant items during which self and mutual referencing are attainable.
The Object-Z Specification Language provides a finished description of Object-Z together with discussions of semantic concerns, definitions of all language constructs, variety ideas and different principles of utilization, specification instructions, and an entire concrete syntax. it's going to aid you with a bit of luck build Object-Z requisites and is meant as a reference guide to maintain via your aspect as you utilize and learn how to use Object-Z.
The Object-Z Specification Language is acceptable as a textbook or as a secondary textual content for a graduate-level path, and as a reference for researchers and practitioners in industry.