On the public citation graph

Graphical animation as a form of prototyping real-time software systems

https://doi.org/10.1007/bf01088587
0 signed · 45 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-3-642-69796-8openalex-snapshot
Approaches to Prototyping
inferredcites →https://doi.org/10.1007/978-3-642-69796-8_1openalex-snapshot
A Systematic Look at Prototyping
inferredcites →https://doi.org/10.1007/978-3-642-69796-8_10openalex-snapshot
Prototyping Interactive Application Systems
inferredcites →https://doi.org/10.1007/bf01088585openalex-snapshot
IPTES: A concurrent engineering approach for real-time software development
inferredcites →https://doi.org/10.1007/bf01088586openalex-snapshot
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping
inferredcites →https://doi.org/10.1007/bf01088588openalex-snapshot
An executable subset of VDM-SL in an SA/RT framework
inferredcites →https://doi.org/10.1007/bf01088589openalex-snapshot
Distributed execution of specifications
inferredcites →https://doi.org/10.1007/bf01088590openalex-snapshot
High-Level Timed Petri Nets as a kernel for executable specifications
inferredcites →https://doi.org/10.1007/bf01088591openalex-snapshot
Giving semantics to SA/RT by means of high-level timed Petri nets
inferredcites →https://doi.org/10.1016/0164-1212(89)90012-5openalex-snapshot
A software design method for distributed real-time applications
inferredcites →https://doi.org/10.1016/0165-6074(92)90288-iopenalex-snapshot
IPTES — Incremental Prototyping Technology for Embedded real-time Systems
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0950-5849(89)90109-2openalex-snapshot
Software prototyping, formal methods and VDM
inferredcites →https://doi.org/10.1016/s1474-6670(17)51267-7openalex-snapshot
Graphical Prototyping of Tasking Behaviour
inferredcites →https://doi.org/10.1109/2.108047openalex-snapshot
Biting the silver bullet: toward a brighter future for system development
inferredcites →https://doi.org/10.1109/2.153253openalex-snapshot
The many faces of consensus in distributed systems
inferredcites →https://doi.org/10.1109/2.161283openalex-snapshot
Application graphics modeling support through object orientation
inferredcites →https://doi.org/10.1109/2.50272openalex-snapshot
The object-oriented structured design notation for software design representation
inferredcites →https://doi.org/10.1109/2.59openalex-snapshot
A spiral model of software development and enhancement
inferredcites →https://doi.org/10.1109/32.54292openalex-snapshot
STATEMATE: a working environment for the development of complex reactive systems
inferredcites →https://doi.org/10.1109/32.67597openalex-snapshot
A unified high-level Petri net formalism for time-critical systems
inferredcites →https://doi.org/10.1109/mc.1987.1663532openalex-snapshot
No Silver Bullet Essence and Accidents of Software Engineering
inferredcites →https://doi.org/10.1109/tse.1984.5010238openalex-snapshot
Prototyping Versus Specifying: A Multiproject Experiment
inferredcites →https://doi.org/10.1109/tse.1986.6312936openalex-snapshot
The transformation schema: An extension of the data flow diagram to represent control and timing
inferredcites →https://doi.org/10.1145/1005950.1005953openalex-snapshot
The life cycle
inferredcites →https://doi.org/10.1145/1006258.1006290openalex-snapshot
Scale models and rapid prototyping
inferredcites →https://doi.org/10.1145/29934.29938openalex-snapshot
A graphical tool for the design and prototyping of distributed systems
inferredcites →https://doi.org/10.1145/358080.358095openalex-snapshot
An assessment of the prototyping approach to information systems development
inferredcites →https://doi.org/10.1145/51696.51702openalex-snapshot
Executing real-time structured analysis specifications
inferredcites →https://doi.org/10.1145/66083.66092openalex-snapshot
Draft report on requirements for a common prototyping system
inferredcites →https://doi.org/10.5555/800078.802546openalex-snapshot
Prototyping as a tool in the specification of user requirements

What points at this work

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

inferred← citeshttps://doi.org/10.1007/bf01088589openalex-snapshot
Distributed execution of specifications
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90005-1openalex-snapshot
An environment for distributed prototyping of real time systems
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00072-3openalex-snapshot
An environment for distributed prototyping of real-time systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-042237-4.50020-2openalex-snapshot
A TARGET CODE MODEL FOR INCREMENTAL PROTOTYPING
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45758-2openalex-snapshot
A target code model for incremental prototyping
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45961-1openalex-snapshot
An Environment for Distributed Prototyping of Real Time Systems
inferred← citeshttps://doi.org/10.1023/a:1008110812851openalex-snapshot
Real-Time Object-Oriented Design and Formal Methods
inferred← citeshttps://doi.org/10.1109/32.841114openalex-snapshot
Generation of execution sequences for modular time critical systems
inferred← citeshttps://doi.org/10.1109/52.241965openalex-snapshot
Concurrent engineering for real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514290openalex-snapshot
Visualisation of real-time software in host-based simulation environment
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514311openalex-snapshot
Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1996.557929openalex-snapshot
Visualised real-time operating system simulation in a heterogeneous prototyping environment
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558570openalex-snapshot
Graphical programming of time-deterministic real-time systems
inferred← citeshttps://doi.org/10.1145/217030.217047openalex-snapshot
A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes
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.