On the public citation graph

Experiences with PiZA, an Animator for Z

https://doi.org/10.1007/bfb0027282
0 signed · 50 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/978-1-4471-3540-1_7openalex-snapshot
CADiℤ — Computer Aided Design in Z
inferredcites →https://doi.org/10.1007/978-1-4471-3877-8_5openalex-snapshot
Computer Aided Transformation of Z into Prolog
inferredcites →https://doi.org/10.1049/sej.1992.0027openalex-snapshot
Software development: two approaches to animation of Z specifications using prolog

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.1007/3-540-36103-0_21openalex-snapshot
Model-Based Specification Animation Using Testgraphs
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_2openalex-snapshot
An Outline Pattern Language for Z: Five Illustrations and Two Tables
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-17404-4_6openalex-snapshot
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_24openalex-snapshot
Select Z Bibliography
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-39277-1_4openalex-snapshot
Design and Implementation of a Tool for Specifying Specification in SOFL
inferred← citeshttps://doi.org/10.1007/978-3-662-09758-8_3openalex-snapshot
Formalismen und Konzepte
inferred← citeshttps://doi.org/10.1007/bf01211295openalex-snapshot
Using a formal specification contractually
inferred← citeshttps://doi.org/10.1007/s001659970001openalex-snapshot
A Nitpick Analysis of Mobile IPv6
inferred← citeshttps://doi.org/10.1007/s10270-015-0503-zopenalex-snapshot
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
inferred← citeshttps://doi.org/10.1007/s10515-012-0116-5openalex-snapshot
Automated verification of code automatically generated from Simulink®
inferred← citeshttps://doi.org/10.1007/s11334-009-0096-1openalex-snapshot
Software monitoring through formal specification animation
inferred← citeshttps://doi.org/10.1016/j.jss.2006.12.540openalex-snapshot
An automated approach to specification animation for validation
inferred← citeshttps://doi.org/10.1016/j.jss.2021.110948openalex-snapshot
A formal specification animation method for operation validation
inferred← citeshttps://doi.org/10.1016/j.scico.2009.03.003openalex-snapshot
Invariant-driven specifications in Maude
inferred← citeshttps://doi.org/10.1023/a:1018921801906openalex-snapshot
Using formal methods for teaching software engineering: a tool-based approach
inferred← citeshttps://doi.org/10.1023/b:agnt.0000019688.11109.19openalex-snapshot
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
inferred← citeshttps://doi.org/10.1109/access.2025.3592224openalex-snapshot
Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation
inferred← citeshttps://doi.org/10.1109/aiccsa.2003.1227505openalex-snapshot
A provably correct functional programming approach to the prototyping of formal Z specifications
inferred← citeshttps://doi.org/10.1109/apaqs.2001.990027openalex-snapshot
Combining the animation and testing of abstract data types
inferred← citeshttps://doi.org/10.1109/apsec.1998.733727openalex-snapshot
Verifying model oriented specifications through animation
inferred← citeshttps://doi.org/10.1109/apsec.2004.1openalex-snapshot
A Case Study in Specification and Implementation Testing
inferred← citeshttps://doi.org/10.1109/apsec.2012.115openalex-snapshot
Automated Functional Scenarios-Based Formal Specification Animation
inferred← citeshttps://doi.org/10.1109/apsec.2015.15openalex-snapshot
Automatic Selection of System Functional Scenarios for Formal Specification Animation
inferred← citeshttps://doi.org/10.1109/ase.1998.732573openalex-snapshot
Don't verify, abstract!
inferred← citeshttps://doi.org/10.1109/aswec.2001.948500openalex-snapshot
Animation can show only the presence of errors, never their absence
inferred← citeshttps://doi.org/10.1109/aswec.2001.948518openalex-snapshot
Visualisation of refinements
inferred← citeshttps://doi.org/10.1109/csac.2002.1176294openalex-snapshot
A framework for organisational control principles
inferred← citeshttps://doi.org/10.1109/hase.2000.895467openalex-snapshot
Safety validation of embedded control software using Z animation
inferred← citeshttps://doi.org/10.1109/iceccs.2006.1690364openalex-snapshot
Formal specification-based online monitoring
inferred← citeshttps://doi.org/10.1109/icmas.1998.699039openalex-snapshot
Interaction protocols in Agentis
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236203openalex-snapshot
Supporting the software testing process through specification animation
inferred← citeshttps://doi.org/10.1109/sere.2014.30openalex-snapshot
Traceability-Based Formal Specification Inspection
inferred← citeshttps://doi.org/10.1109/tr.2010.2085571openalex-snapshot
A Rigorous Method for Inspection of Model-Based Formal Specifications
inferred← citeshttps://doi.org/10.1109/tr.2015.2456853openalex-snapshot
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems
inferred← citeshttps://doi.org/10.1145/1127716.1127718openalex-snapshot
Constraint animation using an object-oriented declarative language
inferred← citeshttps://doi.org/10.1145/1389449.1389450openalex-snapshot
Declarative programming for verification
inferred← citeshttps://doi.org/10.1145/2897667.2897668openalex-snapshot
Validating formal specifications using testing-based specification animation
inferred← citeshttps://doi.org/10.1145/355045.355063openalex-snapshot
Automating first-order relational logic
inferred← citeshttps://doi.org/10.1145/990010.990012openalex-snapshot
A framework and tool support for the systematic testing of model-based specifications
inferred← citeshttps://doi.org/10.15002/00012841openalex-snapshot
A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
inferred← citeshttps://doi.org/10.31671/dogus.2019.403openalex-snapshot
Animation of Z Specifications By Translation to Prolog
inferred← citeshttps://doi.org/10.5121/csit.2018.80900openalex-snapshot
Computer Science & Information Technology
inferred← citeshttps://doi.org/10.5121/csit.2018.80903openalex-snapshot
Automated Visualization of Input/Outpue for Processes in SOFL Formal Specifications
inferred← citeshttps://doi.org/10.5121/ijsea.2018.9409openalex-snapshot
Design and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications
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.