On the public citation graph

ZUM '98: The Z Formal Specification Notation

https://doi.org/10.1007/bfb0056020
0 signed · 69 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-60973-3_77openalex-snapshot
How did software get so reliable without proof?
inferredcites →https://doi.org/10.1007/978-3-540-49676-2_22openalex-snapshot
Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO
inferredcites →https://doi.org/10.1007/bfb0056040openalex-snapshot
More powerful Z data refinement: Pushing the state of the art in industrial refinement
inferredcites →https://doi.org/10.1016/0141-9331(87)90458-3openalex-snapshot
An overview of some formal methods for program design

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10722010_11openalex-snapshot
Liberating Data Refinement
inferred← citeshttps://doi.org/10.1007/11415787_3openalex-snapshot
Non-atomic Refinement in Z and CSP
inferred← citeshttps://doi.org/10.1007/11415787_7openalex-snapshot
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
inferred← citeshttps://doi.org/10.1007/11526841_18openalex-snapshot
Control Law Diagrams in Circus
inferred← citeshttps://doi.org/10.1007/11921240_2openalex-snapshot
Z/Eves and the Mondex Electronic Purse
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_21openalex-snapshot
Model-Based Specification Animation Using Testgraphs
inferred← citeshttps://doi.org/10.1007/3-540-36498-6_3openalex-snapshot
Recent Advances in Refinement
inferred← citeshttps://doi.org/10.1007/3-540-36901-5_13openalex-snapshot
Formalizing Semantics of XSLT Using Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_24openalex-snapshot
A Computation Model for Z Based on Concurrent Constraint Resolution
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_29openalex-snapshot
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_5openalex-snapshot
On Mutually Recursive Free Types in Z
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_10openalex-snapshot
Using Coupled Simulations in Non-atomic Refinement
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_19openalex-snapshot
Timed CSP and Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_3openalex-snapshot
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_8openalex-snapshot
A CSP View on UML-RT Structure Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_33openalex-snapshot
Semantic Web for Extending and Linking Formalisms
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_12openalex-snapshot
Loose Specification and Refinement in Z
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_16openalex-snapshot
A Comparison of the BTT and TTF Test-Generation Methods
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_5openalex-snapshot
Encoding Object-Z in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_6openalex-snapshot
Characters + Mark-up = Z Lexis
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_5openalex-snapshot
Applying RT-Z to Develop Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_17openalex-snapshot
Relating Z and first-order logic
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_28openalex-snapshot
Non-atomic refinement in Z
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_31openalex-snapshot
The value of verification: positive experience of Industrial proof
inferred← citeshttps://doi.org/10.1007/3-540-48256-3_2openalex-snapshot
Disjoint Sums over Type Classes in HOL
inferred← citeshttps://doi.org/10.1007/3-540-48256-3_4openalex-snapshot
Isomorphisms — A Link Between the Shallow and the Deep
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_12openalex-snapshot
A Modular Framework for the Integration of Heterogeneous Notations and Tools
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_16openalex-snapshot
Specifying component and context specification using Promotion
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_17openalex-snapshot
Model-Checking CSP-OZ Specifications with FDR
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_23openalex-snapshot
Using a Process Algebra to control B OPERATIONS
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_9openalex-snapshot
The Refinement of Event Calculus Models
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2openalex-snapshot
High-Integrity System Specification and Design
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_18openalex-snapshot
Combining CSP and Object-Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_3openalex-snapshot
Data Refinement and Simulations
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_4openalex-snapshot
Refinement in Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_7openalex-snapshot
Testing and Refinement
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_11openalex-snapshot
A Simplified Z Semantics for Presentation Interaction Models
inferred← citeshttps://doi.org/10.1007/978-3-319-10181-1_3openalex-snapshot
Model-Checking Circus State-Rich Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_15openalex-snapshot
Specification and Inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_16openalex-snapshot
Comparison of Data and Process Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-49020-3_17openalex-snapshot
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_15openalex-snapshot
Innovations in the Notation of Standard Z
inferred← citeshttps://doi.org/10.1007/978-3-540-70561-1_8openalex-snapshot
Automatic Extraction of Pre- and Postconditions from Z Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_8openalex-snapshot
Symbolic Execution Techniques for Refinement Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_17openalex-snapshot
Enhanced Semantic Access to Formal Software Models
inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_20openalex-snapshot
Isabelle/Circus: A Process Specification and Verification Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_16openalex-snapshot
Compositional Modelling and Reasoning in an Institution for Processes and Data
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_26openalex-snapshot
Testing with Inputs and Outputs in CSP
inferred← citeshttps://doi.org/10.1007/s00165-006-0006-3openalex-snapshot
An analysis of refinement in an abortive paradigm
inferred← citeshttps://doi.org/10.1007/s00165-009-0119-6openalex-snapshot
A process algebraic framework for specification and validation of real-time systems
inferred← citeshttps://doi.org/10.1007/s00165-010-0170-3openalex-snapshot
From control law diagrams to Ada viaCircus
inferred← citeshttps://doi.org/10.1007/s00236-007-0042-3openalex-snapshot
On using data abstractions for model checking refinements
inferred← citeshttps://doi.org/10.1007/s00236-011-0133-zopenalex-snapshot
Testing for refinement in Circus
inferred← citeshttps://doi.org/10.1016/j.csi.2011.10.015openalex-snapshot
From ODP viewpoint consistency to Integrated Formal Methods
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.08.071openalex-snapshot
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.002openalex-snapshot
An Abstract Equivalence Notion for Object Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.025openalex-snapshot
An Analysis of Operation-Refinement in an Abortive Paradigm
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.025openalex-snapshot
A Z Approach in Validating ORA-SS Data Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.003openalex-snapshot
Completeness of ASM Refinement
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.043openalex-snapshot
Stateflow Diagrams in
inferred← citeshttps://doi.org/10.1016/j.scico.2012.06.006openalex-snapshot
Context-dependent product line engineering with lightweight formal approaches
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80932-0openalex-snapshot
Refinement and Development of Programs from Relational Specifications
inferred← citeshttps://doi.org/10.1023/a:1020273205131openalex-snapshot
Unifying Agent Systems
inferred← citeshttps://doi.org/10.1093/comjnl/44.1.1openalex-snapshot
A Conceptual Framework for Agent Definition and Development
inferred← citeshttps://doi.org/10.1109/fskd.2009.536openalex-snapshot
Distributed Traffic Signal Control Approach Based on Multi-agent
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.