On the public citation graph
Tutorial lecture notes on the Irish School of the VDM
0 signed · 42 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-08766-4openalex-snapshot
The Vienna Development Method: The Meta-Language
inferredcites →https://doi.org/10.1007/3-540-10007-5openalex-snapshot
Abstract Software Specifications
inferredcites →https://doi.org/10.1007/3-540-10007-5_35openalex-snapshot
Foundations of denotational semantics
inferredcites →https://doi.org/10.1007/3-540-17654-3openalex-snapshot
VDM '87 VDM — A Formal Method at Work
inferredcites →https://doi.org/10.1007/3-540-17654-3_16openalex-snapshot
Mathematical structures and their morphisms in Meta-IV
inferredcites →https://doi.org/10.1007/3-540-52513-0openalex-snapshot
VDM '90 VDM and Z — Formal Methods in Software Development
inferredcites →https://doi.org/10.1007/3-540-52513-0_27openalex-snapshot
A naive domain universe for VDM
inferredcites →https://doi.org/10.1007/bf01888215openalex-snapshot
A reification calculus for model-oriented software specification
inferredcites →https://doi.org/10.1016/0167-6423(83)90018-7openalex-snapshot
Formal specification and software development
inferredcites →https://doi.org/10.1016/s0304-0208(08)x7180-4openalex-snapshot
Planar Graphs: Theory and Algorithms
inferredcites →https://doi.org/10.1017/cbo9781139600576openalex-snapshot
A History of Greek Mathematics
inferredcites →https://doi.org/10.1063/1.3048143openalex-snapshot
Classical Dynamics of Particles and Systems
inferredcites →https://doi.org/10.1090/s0273-0979-1991-16014-3openalex-snapshot
On the Lebesgue measurability of continuous functions in constructive analysis
inferredcites →https://doi.org/10.1093/oso/9780195061352.001.0001openalex-snapshot
Mathematical Thought from Ancient to Modern Times
inferredcites →https://doi.org/10.1093/oso/9780195061376.001.0001openalex-snapshot
Mathematical Thought from Ancient to Modern Times
inferredcites →https://doi.org/10.1137/0201010openalex-snapshot
Depth-First Search and Linear Graph Algorithms
inferredcites →https://doi.org/10.25405/ncl.34123362openalex-snapshot
Software Development: A Rigorous Approach
inferredcites →https://doi.org/10.25405/ncl.34123365openalex-snapshot
Formal Specification and Software Development
inferredcites →https://doi.org/10.25405/ncl.34144062openalex-snapshot
Modelling Concepts of Programming Languages
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-45251-6_22openalex-snapshot
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C♣)
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_2openalex-snapshot
Scientific Decisions which Characterize VDM
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_116openalex-snapshot
An algebraic proof in VDM ♣
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_133openalex-snapshot
Exploring specifications with Mathematica
inferred← citeshttps://doi.org/10.1007/978-3-540-74107-7_9openalex-snapshot
The Typed Logic of Partial Functions and the Vienna Development Method
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8openalex-snapshot
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
inferred← citeshttps://doi.org/10.1007/978-3-642-32096-5_3openalex-snapshot
Reasoning about I/O in Functional Programs
inferred← citeshttps://doi.org/10.1007/bfb0013448openalex-snapshot
Formal methods & service specification
inferred← citeshttps://doi.org/10.1007/s00165-009-0146-3openalex-snapshot
A denotational semantics for Handel-C
inferred← citeshttps://doi.org/10.1023/a:1018983515535openalex-snapshot
Pinnacles of software engineering: 25 years of formal methods
inferred← citeshttps://doi.org/10.1109/glocom.1993.318267openalex-snapshot
Understand→specify→reuse: precise specification of behavior and relationships
inferred← citeshttps://doi.org/10.1145/260028.260186openalex-snapshot
Precise behavioral specifications in OO information modeling
inferred← citeshttps://doi.org/10.1145/260060.260186openalex-snapshot
Precise behavioral specifications in OO information modeling
inferred← citeshttps://doi.org/10.14236/ewic/fa1996.1openalex-snapshot
Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems
inferred← citeshttps://doi.org/10.14236/ewic/fa1997.10openalex-snapshot
Object-oriented Operations Have Two Parts
inferred← citeshttps://doi.org/10.14236/ewic/fm1997.5openalex-snapshot
A Generic Model for State-based Agent Systems
inferred← citeshttps://doi.org/10.14236/ewic/fm1998.10openalex-snapshot
Mathematics for Formal Methods, a proposal for education reform
inferred← citeshttps://doi.org/10.14236/ewic/iwfm1999.1openalex-snapshot
Proof and Refutation in Formal Software Development
inferred← citeshttps://doi.org/10.14236/ewic/iwfm1999.10openalex-snapshot
Some optimisation problems revisited
inferred← citeshttps://doi.org/10.71548/14032openalex-snapshot
A Comparative Study of Pre/postcondition and Relational Approaches to Program Development
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.