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...

Full description

Bibliographic Details

Main Author:	Smith, Graeme
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	Advances in formal methods ; 1.
Subjects:	Computer science. Software engineering. Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book