Object-Z

Known as: Object Z

Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2008

The complex systems lying at the heart of ensemble engineering exhibit emergent behaviour: behaviour that is not explicitly…

2005

When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and timed…

2004

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object…

2003

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based…

2003

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the…

2002

The paper describes an approach to modelling of objects usin g X-machines (similar to extended finite-state machines). It takes a…

2001

This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z…

1997

Object-Z is one of the object-oriented extensions to the formal notation Z. Though Object-Z notation includes some temporal…

1992

In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…