MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Z , An Object-orientated Extension to Z." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Duration Calculus in COOZ: A Formal Specification Language for Real-Time Systems
by Xiaodong Yuan Information, Xiaodong Yuan, Ying Feng
…@(email omitted); Abstract This paper introduces the idea of continuous time into COOZ, an object-oriented extension of Z…
Add To MetaCart

Specifying the PREMO Synchronization Objects
by D.A. Duce, D. A. Duce, I. Herman, G. Faconti — 1997
… of these objects. The formal notation used is Object-Z [3, 7, 8], an object-oriented extension to the Z notation…
Cited by 5 (3 self) – Add To MetaCart

A Structured Specification of an Active Database System
by Jack Campin, Norman W. Paton, M. Howard Williams — 1995
… active database functionality, and then shows how the model-based notation Object-Z, an object-oriented…
Cited by 5 (2 self) – Add To MetaCart

Blending Object-Z and Timed CSP: An introduction to TCOZ
by Brendan Mahony , Jin Song Dong — 1997 — THE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE’98
….dong@(email omitted); ABSTRACT Object-Z is an extension to the Z language designed to facilitate specification in an object-oriented…
Cited by 40 (10 self) – Add To MetaCart

Type Checking Classes in Object-Z to Promote Quality of Specifications
by Jian Chen, Bohdan Durnota — 1994
… and is being used by many industry companies [1]. Object-Z is an object-oriented extension of Z developed…
Cited by 1 (0 self) – Add To MetaCart

A Semantic Foundation for Object Identity in Formal Specification
by Alena Griffiths, Alena Griffiths, Gordon Rose, Gordon Rose — 1995 — Object Oriented Systems
…. Firstly, Object-Z is an object-oriented extension to Z, and the meaning of Z has been expressed using…
Cited by 14 (7 self) – Add To MetaCart

Annotated Z Bibliography Jonathan Bowen
by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… extension to Z [195] Maung and Howse. Hyper-Z: a new approach to object-orientation [203] Meira…
Add To MetaCart

Annotated Z Bibliography
by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… using extensions to Z [278, 279] Stepney et al. Collected papers and a survey on object-orientation in Z…
Add To MetaCart

Class Types as Sets of Classes in Object-Oriented Formal Specification Languages
by Jian Chen — 1994 — In Technology of Object-Oriented Languages and Systems 15
…. Object-Z is an object-oriented extension of Z developed in order to overcome some of the limitations of Z…
Cited by 1 (0 self) – Add To MetaCart

Metamorphosis: An Integrated Object Oriented Requirements Analysis and Specification Method
by João Baptista da Silva Araújo Júnior, Joo Baptista, Silva Arajo, Jnior M. Sc — 1996
… oriented formal specification language (Object-Z - an object oriented extension of Z) whose purpose…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB