On the public citation graph

ZUM '97: The Z Formal Specification Notation

https://doi.org/10.1007/bfb0027279
0 signed · 86 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/stvr.431openalex-snapshot
A case study in model‐based testing of specifications and implementations
inferred← citeshttps://doi.org/10.1006/jsco.1999.0347openalex-snapshot
A Calculus for Schemas in Z
inferred← citeshttps://doi.org/10.1007/10722010_11openalex-snapshot
Liberating Data Refinement
inferred← citeshttps://doi.org/10.1007/11415787_26openalex-snapshot
Including Design Guidelines in the Formal Specification of Interfaces in Z
inferred← citeshttps://doi.org/10.1007/11415787_4openalex-snapshot
Process Refinement in B
inferred← citeshttps://doi.org/10.1007/11415787_6openalex-snapshot
Model Checking Z Specifications Using SAL
inferred← citeshttps://doi.org/10.1007/11916246_18openalex-snapshot
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B
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-44518-8_11openalex-snapshot
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
inferred← citeshttps://doi.org/10.1007/3-540-44518-8_15openalex-snapshot
Description and Simulation of Microprocessor Instruction Sets Using ASMs
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_15openalex-snapshot
Type-Constrained Generics for Z
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_23openalex-snapshot
An Execution Architecture for GSL
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_21openalex-snapshot
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_29openalex-snapshot
A Formal Specification in B of a Medical Decision Support System
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_10openalex-snapshot
Mechanical Abstraction of CSPZ Processes
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_24openalex-snapshot
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
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-45669-4_13openalex-snapshot
Using OCL and UML to Specify System Behavior
inferred← citeshttps://doi.org/10.1007/3-540-46562-6_5openalex-snapshot
Abstract State Machines for the Composition of Architectural Styles
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-48249-0_31openalex-snapshot
Modeling Safety-Critical Systems with Z and Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_10openalex-snapshot
A Programmer Friendly Modular Definition of the Semantics of Java
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-3-030-76020-5_6openalex-snapshot
Communities and Ancestors Associated with Egon Börger and ASM
inferred← citeshttps://doi.org/10.1007/978-3-031-12429-7_21openalex-snapshot
Formal Methods Communities of Practice: A Survey of Personal Experience
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-07314-9_14openalex-snapshot
An Algorithm to Identify Conflicts Between Norms and Values
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_4openalex-snapshot
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-12154-3_12openalex-snapshot
A Model for Capturing and Replaying Proof Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-12154-3_2openalex-snapshot
Efficient Refinement Checking in VCC
inferred← citeshttps://doi.org/10.1007/978-3-319-17404-4_6openalex-snapshot
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process
inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_5openalex-snapshot
Perspicuity, Divergence, and Internal Operations
inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_7openalex-snapshot
State-Based Languages: Z and B
inferred← citeshttps://doi.org/10.1007/978-3-540-24756-2_7openalex-snapshot
Efficient CSP Z Data Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-540-30472-2_5openalex-snapshot
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-30482-1_35openalex-snapshot
Formal Proof from UML Models
inferred← citeshttps://doi.org/10.1007/978-3-540-36423-8_2openalex-snapshot
Fuzzy Concepts and Formal Methods
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-75221-9_12openalex-snapshot
Specification for Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-77566-9_54openalex-snapshot
Classification, Formalization and Verification of Security Functional Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_17openalex-snapshot
The Composition of Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_25openalex-snapshot
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_4openalex-snapshot
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_13openalex-snapshot
Modelling Divergence in Relational Concurrent Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-00867-2_8openalex-snapshot
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-01350-8_33openalex-snapshot
Extending SOA with Semantic Mediators
inferred← citeshttps://doi.org/10.1007/978-3-642-04912-5_5openalex-snapshot
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_14openalex-snapshot
Development of Security Software: A High Assurance Methodology
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_24openalex-snapshot
Supporting Reuse of Event-B Developments through Generic Instantiation
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_9openalex-snapshot
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-11447-2_14openalex-snapshot
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
inferred← citeshttps://doi.org/10.1007/978-3-642-11447-2_7openalex-snapshot
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs
inferred← citeshttps://doi.org/10.1007/978-3-642-11811-1_28openalex-snapshot
Translating Z to Alloy
inferred← citeshttps://doi.org/10.1007/978-3-642-15579-6_1openalex-snapshot
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_20openalex-snapshot
A Formal Verification Study on the Rotterdam Storm Surge Barrier
inferred← citeshttps://doi.org/10.1007/978-3-642-19208-1_15openalex-snapshot
Formal Methods in Agent-Oriented Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_1openalex-snapshot
Checking Models, Proving Programs, and Testing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-22603-8_45openalex-snapshot
A Z Approach to Formalization and Validation of ORM Models
inferred← citeshttps://doi.org/10.1007/978-3-642-25032-3_4openalex-snapshot
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_7openalex-snapshot
Shared Event Composition/Decomposition in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-32129-0_41openalex-snapshot
Rigorous Design of Lazy Replication System Using Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-35130-3_18openalex-snapshot
Verification of Money Atomicity in Digital Cash Based Payment System
inferred← citeshttps://doi.org/10.1007/978-3-642-35705-3_1openalex-snapshot
Unifying Theories of Undefinedness in UTP
inferred← citeshttps://doi.org/10.1007/978-3-642-39277-1_4openalex-snapshot
Design and Implementation of a Tool for Specifying Specification in SOFL
inferred← citeshttps://doi.org/10.1007/978-3-642-59758-9_25openalex-snapshot
Formal Safety Analysis of the Control Program for a Radiation Therapy Machine
inferred← citeshttps://doi.org/10.1007/978-3-662-09758-8_3openalex-snapshot
Formalismen und Konzepte
inferred← citeshttps://doi.org/10.1007/978-3-662-43652-3_12openalex-snapshot
Sealed Containers in Z
inferred← citeshttps://doi.org/10.1007/978-3-7091-6878-3_1openalex-snapshot
Do interactive systems need specifications?
inferred← citeshttps://doi.org/10.1016/b978-008045312-5/50081-9openalex-snapshot
Mobile Agent System for Computer Network Management
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.013openalex-snapshot
Mechanising the Alphabetised Relational Calculus
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.04.022openalex-snapshot
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.12.007openalex-snapshot
Translation of Z specifications to executable code: Application to the database domain
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.06.002openalex-snapshot
Towards a formal model of patterns and pattern languages
inferred← citeshttps://doi.org/10.1016/s0306-4379(02)00081-9openalex-snapshot
Visualizing graphical and textual formalisms
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00078-6openalex-snapshot
Getting the best from formal methods
inferred← citeshttps://doi.org/10.1023/a:1011269103179openalex-snapshot
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
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.1093/logcom/exu077openalex-snapshot
The abstract state machines method for modular design and analysis of programming languages
inferred← citeshttps://doi.org/10.1145/3803555openalex-snapshot
Experiences from the European ProCoS Projects: Provably Correct Systems
inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.3openalex-snapshot
IO-refinement in Z
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.