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.

2014

The paper focuses on a Z-semantic based conceptual model of component, called ZFormal Specification of Component Model (ZFSCM…

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

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test…

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…

1997

This paper describes the translation of Object-Z specifications of container classes to C++ test oracle classes. It presents a…

1995

This document contains the first deliverable of a research project on `Cross Viewpoint Consistency in Open Distributed Processing…

1992

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