On the public citation graph

A steam-boiler control specification with statecharts and Z

https://doi.org/10.1007/bfb0027233
0 signed · 32 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-58468-4_163openalex-snapshot
A comparison of Statecharts variants
inferredcites →https://doi.org/10.1007/3-540-60973-3_94openalex-snapshot
Combining statecharts and Z for the design of safety-critical control systems
inferredcites →https://doi.org/10.1007/bfb0027252openalex-snapshot
Steam-boiler control specification problem
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1109/icse.1996.493420openalex-snapshot
Executable object modeling with statecharts
inferredcites →https://doi.org/10.5555/227726.227770openalex-snapshot
Executable object modeling with statecharts
inferredcites →https://doi.org/10.5860/choice.32-2180openalex-snapshot
Real-time object-oriented modeling

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.1477openalex-snapshot
Tool support for the Test Template Framework
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_24openalex-snapshot
Integration of Formal Datatypes within State Diagrams
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_18openalex-snapshot
Specifying Interactive Systems in Object-Z and CSP
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_22openalex-snapshot
Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_23openalex-snapshot
Translating the OMT Dynamic Model into Object-Z
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_24openalex-snapshot
Select Z Bibliography
inferred← citeshttps://doi.org/10.1007/bfb0014739openalex-snapshot
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints
inferred← citeshttps://doi.org/10.1007/bfb0027229openalex-snapshot
Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)
inferred← citeshttps://doi.org/10.1007/bfb0027241openalex-snapshot
Using HyTech to synthesize control parameters for a steam boiler
inferred← citeshttps://doi.org/10.1007/bfb0030644openalex-snapshot
Automating formal specification-based testing
inferred← citeshttps://doi.org/10.1007/bfb0053584openalex-snapshot
Specifying safety-critical embedded systems with statecharts and Z: A case study
inferred← citeshttps://doi.org/10.1016/s0967-0661(99)00138-0openalex-snapshot
Experiences of using formal methods for chemical process control specification
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41389-9openalex-snapshot
A Multiformalism Specification Framework with Statecharts and VDM
inferred← citeshttps://doi.org/10.1023/b:sqjo.0000034710.86897.16openalex-snapshot
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
inferred← citeshttps://doi.org/10.1109/apsec.2001.991490openalex-snapshot
The steam boiler in a unified theory of Z and CSP
inferred← citeshttps://doi.org/10.1109/icfem.1997.630396openalex-snapshot
A pragmatic, rigorous integration of structural and behavioral modeling notations
inferred← citeshttps://doi.org/10.1109/prdc.2001.992714openalex-snapshot
A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance
inferred← citeshttps://doi.org/10.1109/rams.2002.981660openalex-snapshot
Validation of guidance control software requirements specification for reliability and fault-tolerance
inferred← citeshttps://doi.org/10.1109/sefm.2010.31openalex-snapshot
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions
inferred← citeshttps://doi.org/10.1109/tse.2007.21openalex-snapshot
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
inferred← citeshttps://doi.org/10.1145/253228.253297openalex-snapshot
Specification of software controlling a discrete-continuous environment
inferred← citeshttps://doi.org/10.1533/9781782420613.1openalex-snapshot
Toward an Object-Oriented Design Methodology for Hybrid Systems
inferred← citeshttps://doi.org/10.21941/kcss/2024/1openalex-snapshot
Language Design for Reactive Systems
inferred← citeshttps://doi.org/10.3217/jucs-009-02-0106openalex-snapshot
Checking Object System Designs Incrementally
inferred← citeshttps://doi.org/10.70675/b9e60d5ez93cfz4bbcza224z2accf1ce1154openalex-snapshot
Fastest : improving and supporting the Test Template Framework
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.