On the public citation graph
OOZE: An Object Oriented Z Environment
0 signed · 75 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10007-5_41openalex-snapshot
The semantics of clear, a specification language
inferredcites →https://doi.org/10.1007/3-540-10009-1_27openalex-snapshot
How to prove algebraic inductive hypotheses without induction
inferredcites →https://doi.org/10.1007/3-540-10693-6openalex-snapshot
The Programming Language Ada Reference Manual
inferredcites →https://doi.org/10.1007/3-540-12328-8openalex-snapshot
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
inferredcites →https://doi.org/10.1007/3-540-50214-9_2openalex-snapshot
Structuring for the VDM specification language
inferredcites →https://doi.org/10.1007/978-1-4471-3534-0_2openalex-snapshot
Object-Oriented Process Specification
inferredcites →https://doi.org/10.1007/bfb0015747openalex-snapshot
Operational semantics for order-sorted algebra
inferredcites →https://doi.org/10.1016/0141-9331(82)90378-7openalex-snapshot
The programming language ADA reference manual
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/0950-5849(89)90042-6openalex-snapshot
An introduction to object-oriented programming and Smalltalk
inferredcites →https://doi.org/10.1016/b978-0-12-115350-2.50017-8openalex-snapshot
Equations and Rewrite Rules: A Survey
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jnca.1997.0050openalex-snapshot
Comparison of formal specification methods and object-oriented paradigms
inferred← citeshttps://doi.org/10.1006/jvlc.2000.0192openalex-snapshot
Visual Programming of Concurrent Object-Oriented Systems
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_20openalex-snapshot
Object Orientation without Extending Z
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_23openalex-snapshot
O-O Requirements Analysis: an Agent Perspective
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_18openalex-snapshot
Structured inheritance for algebraic class specifications
inferred← citeshttps://doi.org/10.1007/3-540-63114-3_16openalex-snapshot
Towards an integration of syntactic constructs and structural features for formalised object-oriented methods
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_8openalex-snapshot
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_13openalex-snapshot
Refinement in Object-Oriented Specification Languages
inferred← citeshttps://doi.org/10.1007/978-1-4471-3452-7_6openalex-snapshot
An Object-Oriented Development Framework for Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_15openalex-snapshot
An Introduction to Object-Z
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5openalex-snapshot
Logics for Databases and Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_6openalex-snapshot
Logics for Specifying Concurrent Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_4openalex-snapshot
Specification with Class: A Brief History of Object-Z
inferred← citeshttps://doi.org/10.1007/978-3-540-44995-9_24openalex-snapshot
Structuring Mechanisms for an Object-Oriented Formal Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-642-45404-2_3openalex-snapshot
Cross-Platform Application Development Using AXIOM as an Agile Model-Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-7091-6531-7_9openalex-snapshot
On the algebraic specification of classes and inheritance in object-oriented programming
inferred← citeshttps://doi.org/10.1007/bf01094341openalex-snapshot
Tools for specifying real-time systems
inferred← citeshttps://doi.org/10.1007/bf02063808openalex-snapshot
Formal methods for object-oriented software engineering
inferred← citeshttps://doi.org/10.1007/bf02948744openalex-snapshot
Dynamic checking framework for Java Beans semantic constraints
inferred← citeshttps://doi.org/10.1007/bfb0015457openalex-snapshot
On object-oriented design and verification
inferred← citeshttps://doi.org/10.1007/bfb0053028openalex-snapshot
Import is not inheritance why we need both: Modules and classes
inferred← citeshttps://doi.org/10.1007/bfb0053031openalex-snapshot
Reasoning and refinement in object-oriented specification languages
inferred← citeshttps://doi.org/10.1016/0950-5849(93)90081-dopenalex-snapshot
Formal process modelling
inferred← citeshttps://doi.org/10.1016/0950-5849(94)90102-3openalex-snapshot
An annotated bibliography for object-oriented analysis and design
inferred← citeshttps://doi.org/10.1016/0950-5849(95)99367-vopenalex-snapshot
Annotated Z bibliography
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.01.032openalex-snapshot
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00109-8openalex-snapshot
Life-cycle of a dual object-oriented specification model for real-time systems
inferred← citeshttps://doi.org/10.1049/sej.1992.0016openalex-snapshot
A survey of object orientation in Z
inferred← citeshttps://doi.org/10.1080/019697201753229836openalex-snapshot
FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
inferred← citeshttps://doi.org/10.1093/comjnl/38.10.777openalex-snapshot
A Review of Object-Oriented Approaches in Formal Methods
inferred← citeshttps://doi.org/10.1109/apsec.1995.496975openalex-snapshot
Software environment support for integrated formal program specification and development
inferred← citeshttps://doi.org/10.1109/case.1993.634813openalex-snapshot
ForMooZ: A hypertext-based environment to support object-oriented formal development
inferred← citeshttps://doi.org/10.1109/eurmic.1998.708098openalex-snapshot
A structured approach to software process modelling
inferred← citeshttps://doi.org/10.1109/icfem.2000.873810openalex-snapshot
Formal foundations of object-oriented modeling notations
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236221openalex-snapshot
Animation of Object-Z specifications using a Z animator
inferred← citeshttps://doi.org/10.1109/sess.1993.263946openalex-snapshot
Standards and techniques for object-oriented formal specification
inferred← citeshttps://doi.org/10.1109/tools.1998.713602openalex-snapshot
Complete Object-Oriented Z and its supporting environment COOZ-Tools
inferred← citeshttps://doi.org/10.1145/192218.192235openalex-snapshot
An algebraic theory of class specification
inferred← citeshttps://doi.org/10.1145/196092.195325openalex-snapshot
The Larch/Smalltalk interface specification language
inferred← citeshttps://doi.org/10.1145/253228.253238openalex-snapshot
An object-oriented modeling method for algebraic specifications in CafeOBJ
inferred← citeshttps://doi.org/10.14236/ewic/mi1996.13openalex-snapshot
NOODLE++: a 3-dimensional Net-based Object-Oriented Development Model 1
inferred← citeshttps://doi.org/10.14264/157991openalex-snapshot
Formal concept analysis applications to requirements engineering and design
inferred← citeshttps://doi.org/10.14264/47655d0openalex-snapshot
An object-oriented approach to formal specification
inferred← citeshttps://doi.org/10.30534/ijatcse/2019/1681.42019openalex-snapshot
A Survey on Refinement in Formal Methods and Software Engineering
inferred← citeshttps://doi.org/10.31428/10317/361openalex-snapshot
Desarrollo Integral de Sistemas de Procesamiento de Información Visual: Un Enfoque Multi-Paradigma basado en Líneas de Producto, Componentes y Generación Automática de Software
inferred← citeshttps://doi.org/10.35537/10915/2251openalex-snapshot
Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
inferred← citeshttps://doi.org/10.4018/978-1-61520-649-0.ch004openalex-snapshot
Formalization of MOF-Based Metamodels
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0312020openalex-snapshot
Modeling Object Oriented Constraint Programs in Z
inferred← citeshttps://doi.org/10.5381/jot.2005.4.1.a4openalex-snapshot
Foundations for MDA-based Forward Engineering.
inferred← citeshttps://doi.org/10.5753/sbes.1993.24409openalex-snapshot
Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço
inferred← citeshttps://doi.org/10.7146/dpb.v29i548.7196openalex-snapshot
Software Engineering and Petri Nets
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.