On the public citation graph

Reasoning and refinement in object-oriented specification languages

https://doi.org/10.1007/bfb0053031
0 signed · 38 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.1002/smr.4360030303openalex-snapshot
Creating specifications from code: Reverse‐engineering techniques
inferredcites →https://doi.org/10.1007/978-1-4471-3203-5_4openalex-snapshot
W: A Logic for Z
inferredcites →https://doi.org/10.1007/978-1-4471-3273-8openalex-snapshot
On the Refinement Calculus
inferredcites →https://doi.org/10.1007/978-1-4471-3540-1_12openalex-snapshot
Modular Object-Oriented Z Specifications
inferredcites →https://doi.org/10.1007/978-1-4471-3540-1_3openalex-snapshot
Promoting Forward Simulation
inferredcites →https://doi.org/10.1007/978-1-4471-3540-1_8openalex-snapshot
Machine support for Z: the zedB tool
inferredcites →https://doi.org/10.1007/978-1-4471-3756-6_9openalex-snapshot
Object Oriented Specification and Refinement
inferredcites →https://doi.org/10.1007/978-1-4684-9452-5openalex-snapshot
Mathematical Logic
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bf00291051openalex-snapshot
A calculus of refinements for program derivations
inferredcites →https://doi.org/10.1007/bfb0020001openalex-snapshot
The B-method
inferredcites →https://doi.org/10.1007/bfb0057015openalex-snapshot
Capsules and types in Fresco
inferredcites →https://doi.org/10.1007/bfb0057022openalex-snapshot
OOZE: An Object Oriented Z Environment
inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot
A theoretical basis for stepwise refinement and the programming calculus
inferredcites →https://doi.org/10.1145/143773.143794openalex-snapshot
Object oriented modelling
inferredcites →https://doi.org/10.1145/83880.84464openalex-snapshot
Lessons from the design of the Eiffel libraries
inferredcites →https://doi.org/10.2307/2273271openalex-snapshot
J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.

What points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.2001.2927openalex-snapshot
Objects and Classes in Algol-Like Languages
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-58555-9_93openalex-snapshot
Towards a formalization of programming-by-difference
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_143openalex-snapshot
Select Z Bibliography
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_5openalex-snapshot
Class refinement and interface refinement in object-oriented programs
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_3openalex-snapshot
Developing Object-Based Distributed Systems
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-3556-2_5openalex-snapshot
Reuse and Adaptation of Z Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-39910-0_2openalex-snapshot
A Logic of Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-49020-3_3openalex-snapshot
A Formal Framework with Late Binding
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_24openalex-snapshot
Select Z Bibliography
inferred← citeshttps://doi.org/10.1007/bfb0015457openalex-snapshot
On object-oriented design and verification
inferred← citeshttps://doi.org/10.1007/bfb0030634openalex-snapshot
A logic of object-oriented programs
inferred← citeshttps://doi.org/10.1007/bfb0054286openalex-snapshot
An approach to object-orientation in action systems
inferred← citeshttps://doi.org/10.1016/0895-7177(94)90233-xopenalex-snapshot
Defining relationships in ecology using object-oriented formal specifications
inferred← citeshttps://doi.org/10.1016/0950-5849(95)99367-vopenalex-snapshot
Annotated Z bibliography
inferred← citeshttps://doi.org/10.1049/sej.1993.0031openalex-snapshot
A compendium of formal techniques for software maintenance
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/tools.1999.779001openalex-snapshot
Consistent extension of components in the presence of explicit invariants
inferred← citeshttps://doi.org/10.1145/2465449.2465466openalex-snapshot
Correctness of intrusive data structures using mixins
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.