On the public citation graph

IPTES: A concurrent engineering approach for real-time software development

https://doi.org/10.1007/bf01088585
0 signed · 42 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-48354-7_5openalex-snapshot
Software Engineering Economics
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.1080/09544829008901666openalex-snapshot
Applying Quality Function Deployment for Software Product Development
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/52.62930openalex-snapshot
Software risk management: principles and practices
inferredcites →https://doi.org/10.1109/cmpeur.1990.113614openalex-snapshot
Experience in modeling a concurrent software system using STATEMATE
inferredcites →https://doi.org/10.1109/cmpsac.1990.139377openalex-snapshot
Distributed concurrent development of software systems: an object-oriented process model
inferredcites →https://doi.org/10.1109/icse.1990.63598openalex-snapshot
TRW's Ada Process Model for incremental development of large software systems
inferredcites →https://doi.org/10.1109/ispw.1989.690449openalex-snapshot
The Software Process As A Goal-directed Activity
inferredcites →https://doi.org/10.1109/ms.1997.589225openalex-snapshot
Software risk management
inferredcites →https://doi.org/10.1145/1216495.1216499openalex-snapshot
Review of "Smalltalk-80: The Language and its Implementation by A. Goldberg, and D. Robson", Addison-Wesley Publ., Co., 1983, 0-201-11371-6
inferredcites →https://doi.org/10.1145/382296.382705openalex-snapshot
A graphical tool for the prototyping of real-time systems
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.21236/ada228487openalex-snapshot
Sample Tailoring of 2167A DIDS for Software-First Life Cycle
inferredcites →https://doi.org/10.5555/100296.100297openalex-snapshot
TRW's Ada process model for incremental development of large software systems
inferredcites →https://doi.org/10.5555/317498.317738openalex-snapshot
The software process as a goal-directed activity

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-48753-0_11openalex-snapshot
Environment for the Development and Specification of Real-Time Ada Programs
inferred← citeshttps://doi.org/10.1007/978-0-585-35223-7_3openalex-snapshot
Design and Programming Tools for Time Critical Applications
inferred← citeshttps://doi.org/10.1007/978-1-4615-5915-3_43openalex-snapshot
Virtual Reality Prototyping in Development and Web-Based Marketing of Future Electronics Products
inferred← citeshttps://doi.org/10.1007/bf01088586openalex-snapshot
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping
inferred← citeshttps://doi.org/10.1007/bf01088587openalex-snapshot
Graphical animation as a form of prototyping real-time software systems
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)40527-1openalex-snapshot
Advanced Software Engineering Techniques for Real-Time Systems
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:1007916307060openalex-snapshot
Design and Programming Tools for Time Critical Applications
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.4236/jsea.2016.97025openalex-snapshot
A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems
inferred← citeshttps://doi.org/10.5075/epfl-thesis-1664openalex-snapshot
An incremental prototyping methodology for distributed systems based on formal specifications
inferred← citeshttps://doi.org/10.70675/22863eeaz1d7bz4d67zac24zfa165f899ab4openalex-snapshot
Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique
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.