On the public citation graph

Inheritance in object oriented Z

https://doi.org/10.1007/bfb0057021
0 signed · 45 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45910-3_4openalex-snapshot
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like
inferredcites →https://doi.org/10.1007/3-540-52513-0_14openalex-snapshot
Towards a semantics for object-Z
inferredcites →https://doi.org/10.1007/bf01898400openalex-snapshot
Refinement, conformance and inheritance
inferredcites →https://doi.org/10.1007/bfb0019444openalex-snapshot
Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!
inferredcites →https://doi.org/10.1145/1216495.1216499openalex-snapshot
Review of "Smalltalk-80: The Language and its Implementation by A. Goldberg, and D. Robson", Addison-Wesley Publ., Co., 1983, 0-201-11371-6
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/74877.74922openalex-snapshot
A denotational semantics of inheritance and its correctness

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-47910-4_8openalex-snapshot
A New Definition of the Subtype Relation
inferred← citeshttps://doi.org/10.1007/3-540-49255-0_25openalex-snapshot
Consistent Extension of Components in Presence of Explicit Invariants
inferred← citeshttps://doi.org/10.1007/3-540-57342-9_93openalex-snapshot
Object-oriented formal specification development using VDM
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_124openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_136openalex-snapshot
Viewpoints and objects
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_143openalex-snapshot
Select Z Bibliography
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_21openalex-snapshot
Subtyping for Distributed Object Stores
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_15openalex-snapshot
Pattern Application VS. Inheritance in SDI
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_18openalex-snapshot
A Junction Between State Based and Behavioural Specification
inferred← citeshttps://doi.org/10.1007/978-1-4471-3203-5_15openalex-snapshot
Enhancing the Structure of Z Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3203-5_16openalex-snapshot
ZOOM Workshop Report
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_37openalex-snapshot
Towards an Algebraic Theory of Inheritance in Object Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-1-4471-3452-7_8openalex-snapshot
Specifying and Interpreting Class Hierarchies in Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-3556-2_12openalex-snapshot
From Object-Z to C++: A Structural Mapping
inferred← citeshttps://doi.org/10.1007/978-1-4471-3556-2_13openalex-snapshot
Deriving Tests for Objects Specified in Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_16openalex-snapshot
Refinement in Object-Z
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-49676-2_24openalex-snapshot
Select Z Bibliography
inferred← citeshttps://doi.org/10.1007/bf01210998openalex-snapshot
On simulation, subtyping and substitutability in sequential object systems
inferred← citeshttps://doi.org/10.1007/bfb0057022openalex-snapshot
OOZE: An Object Oriented Z Environment
inferred← citeshttps://doi.org/10.1007/s001650070034openalex-snapshot
Class Refinement as Semantics of Correct Object Substitutability
inferred← citeshttps://doi.org/10.1016/0920-5489(93)90014-iopenalex-snapshot
Precise specification of behavior in object-oriented standardization activities
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.1049/sej.1992.0016openalex-snapshot
A survey of object orientation in Z
inferred← citeshttps://doi.org/10.1109/apsec.1996.566744openalex-snapshot
A modified inheritance mechanism enhancing reusability and maintainability in object-oriented languages
inferred← citeshttps://doi.org/10.1109/icse.1996.493421openalex-snapshot
Forcing behavioral subtyping through specification inheritance
inferred← citeshttps://doi.org/10.1109/tools.1999.779001openalex-snapshot
Consistent extension of components in the presence of explicit invariants
inferred← citeshttps://doi.org/10.1145/165854.165863openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1145/181593.184668openalex-snapshot
Formal methods
inferred← citeshttps://doi.org/10.1145/197320.197383openalex-snapshot
A behavioral notion of subtyping
inferred← citeshttps://doi.org/10.14264/47655d0openalex-snapshot
An object-oriented approach to formal specification
inferred← citeshttps://doi.org/10.21236/ada367674openalex-snapshot
Behavioral Subtyping Using Invariants and Constraints
inferred← citeshttps://doi.org/10.3127/ajis.v2i1.414openalex-snapshot
Meta-Information Systems: a design study
inferred← citeshttps://doi.org/10.31274/rtd-180813-10487openalex-snapshot
Behavioral subtyping in object-oriented languages
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.6378openalex-snapshot
From Object-Oriented Specification to Implementation: A Formal Refinement Methodology.
inferred← citeshttps://doi.org/10.5353/th_b2988132openalex-snapshot
Inheritance and OMT : a CSP approach
inferred← citeshttps://doi.org/10.5555/227726.227772openalex-snapshot
Forcing behavioral subtyping through specification inheritance
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.