MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Object Orientation in Z" – sorted by Relevance.

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

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

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

ATOM

Object Orientation in Z
by Gordon Rose, S. Stepney, R. Barden, D. Cooper — 1992
… of Queensland Queensland 4072, Australia Object Orientation in Z S. Stepney and R. Barden and D. Cooper 1992…
Cited by 3 (0 self) – Add To MetaCart

Object orientation without extending Z
by Mark Utting, Mark Utting, Mark Utting, Shaochun Wang, Shaochun Wang, Shaochun Wang — In Bert et al
…Working Paper Series ISSN 1170-487X Object-Orientation in Standard Z (New title: Object…
Cited by 1 (0 self) – Add To MetaCart

Annals of Software Engineering 13, 329--356, 2002
by Formal Object Approach, Hai Wang
… techniques and tools from object-oriented Z (in XML) to UML (in XMI) are developed using XSL Transformations…
Add To MetaCart

Encoding Object-Z in Isabelle/HOL
by Graeme Smith, Florian Kammüller, Thomas Santen — 2002 — International Conference of Z and B Users (ZB 2002), volume 2272 of LNCS
…. The work builds on an earlier encoding of a value semantics for object-oriented Z in Isabelle/HOL and a…
Cited by 10 (5 self) – Add To MetaCart

Z Family on the Web with Their UML Photos
by Sun Dong Liu, J. Sun, J. S. Dong, J. Liu, H. Wang — 2001
…) for projecting (object-oriented) Z models to UML diagrams. Keywords Z/Object-Z/TCOZ, XML/XSL/XMI, UML 1…
Add To MetaCart

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

Equivalence between executable OOZE and algebraic specification
by Vicent-Ramon Palasi Lallana — 1995
… specification. We shall discuss whether these results can be made to cover other object-oriented Z dialects. 1…
Add To MetaCart

PROST Objects
by Bt Zest Extended, Peter Bird (ncc, Rob Booth (bt, David Cooper (logica
…'s Guide Synopsis: This document contains a user guide to ZEST, an object-oriented extension of Z…
Add To MetaCart

Reasoning about the Composition of Heterogeneous Architectures
by Ahmed Abd-Allah, Barry Boehm — 1995
… Orientation in Z, Workshops in Computing, Springer Verlag, 1992 [SUFR90] B. Sufrin and J. He. "Specification…
Cited by 4 (0 self) – Add To MetaCart

Control. Honeywell Technology Center, Minneapolis, MN. [GACE95] C. Gacek, A. Abd-Allah, B. Clark, B. Boehm. "On the Definition of Software Architecture",
by Icse Software Architecture
… Orientation in Z, Workshops in Computing, Springer Verlag, 1992 [SUFR90] B. Sufrin and J. He. “Specification…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB