Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,728,508 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Community Z Tools
Formal methods
Language construct
Metaclass
Expand
Broader (1)
Z notation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Model transformations across views
J. Derrick
,
H. Wehrheim
Science of Computer Programming
2010
Corpus ID: 16187773
2008
2008
Ensemble Engineering and Emergence
Hu Jun
,
Zhiming Liu
,
G. Reed
,
J. Sanders
Software-Intensive Systems and New Computing…
2008
Corpus ID: 18080890
The complex systems lying at the heart of ensemble engineering exhibit emergent behaviour: behaviour that is not explicitly…
Expand
2005
2005
Integrating Object-Z with timed automata
J. Dong
,
R. Duke
,
Ping Hao
IEEE International Conference on Engineering of…
2005
Corpus ID: 10062286
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and timed…
Expand
2003
2003
Compositional Verification for Object-Z
Kirsten Winter
,
Graeme Smith
ZB
2003
Corpus ID: 1476087
This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based…
Expand
2003
2003
Animation of Object-Z specifications using a Z animator
Tim McComb
,
Graeme Smith
First International Conference onSoftware…
2003
Corpus ID: 22030322
We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the…
Expand
2001
2001
Object-Z web environment and projections to UML
Jing Sun
,
J. Dong
,
Jing Liu
,
Hai H. Wang
The Web Conference
2001
Corpus ID: 1721253
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z…
Expand
Review
1998
Review
1998
ZUM ’98: The Z Formal Specification Notation
J. Leeuwen
Lecture Notes in Computer Science
1998
Corpus ID: 27545350
The specification language Z has been designed to describe data and functional aspects of systems, but it does not define a…
Expand
1997
1997
Extending Object-Z for specifying real-time systems
K. Periyasamy
,
V. Alagar
Proceedings of TOOLS USA 97. International…
1997
Corpus ID: 45305095
Object-Z is one of the object-oriented extensions to the formal notation Z. Though Object-Z notation includes some temporal…
Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
Highly Cited
1990
Highly Cited
1990
Towards a Semantics for Object-Z
D. Duke
,
R. Duke
VDM Europe
1990
Corpus ID: 45083780
Object-Z is a notation based on Z but with extensions to more fully support an object-oriented style of specification. Object-Z…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE