On the public citation graph
A Formal Semantics of Data Flow Diagrams
0 signed · 69 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-17654-3openalex-snapshot
VDM '87 VDM — A Formal Method at Work
inferredcites →https://doi.org/10.1007/3-540-17654-3_19openalex-snapshot
A formal semantics for a DataFlow Machine — Using VDM
inferredcites →https://doi.org/10.1007/3-540-50214-9_2openalex-snapshot
Structuring for the VDM specification language
inferredcites →https://doi.org/10.1007/3-540-54834-3openalex-snapshot
VDM'91 Formal Software Development Methods
inferredcites →https://doi.org/10.1007/3-540-54834-3_8openalex-snapshot
A case for structured analysis/formal design
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_33openalex-snapshot
Structured Analysis and System Specification
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.1007/bfb0024633openalex-snapshot
FME '93: Industrial-Strength Formal Methods
inferredcites →https://doi.org/10.1016/0096-0551(76)90012-6openalex-snapshot
Techniques of program structure and design
inferredcites →https://doi.org/10.1016/0950-5849(92)90094-6openalex-snapshot
Formalization of techniques: chopping down the methodology jungle
inferredcites →https://doi.org/10.1049/sej.1992.0037openalex-snapshot
Integrating formal notations and systems analysis: using entity relationship diagrams
inferredcites →https://doi.org/10.1093/comjnl/23.3.255-aopenalex-snapshot
Structured Systems Analysis: Tools and Techniques
inferredcites →https://doi.org/10.1093/comjnl/32.1.1openalex-snapshot
Towards a Formal Foundation for DeMarco Data Flow Diagrams
inferredcites →https://doi.org/10.1093/comjnl/35.6.600openalex-snapshot
Integrated Structured Analysis and Formal Specification Techniques
inferredcites →https://doi.org/10.1109/32.129221openalex-snapshot
Semantically extended dataflow diagrams: a formal specification tool
inferredcites →https://doi.org/10.1109/32.4636openalex-snapshot
An algebra for data flow diagram process decomposition
inferredcites →https://doi.org/10.1109/32.90448openalex-snapshot
Informal and formal requirements specification languages: bridging the gap
inferredcites →https://doi.org/10.1145/62083.62114openalex-snapshot
Transformation of data flow analysis models to object oriented design
inferredcites →https://doi.org/10.4135/9781483346274.n148openalex-snapshot
Human Information Processing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2002.tb02569.xopenalex-snapshot
1.6.2 Formalizing a Structured Natural Language Requirements Specification Notation
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2020.00707.xopenalex-snapshot
Hatley‐Pirbhai Control Flow Diagram with SysML for Early Validation
inferred← citeshttps://doi.org/10.1006/ijhc.1997.0117openalex-snapshot
Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_10openalex-snapshot
Developing Control Systems Components
inferred← citeshttps://doi.org/10.1007/3-540-58555-9_91openalex-snapshot
Seven more myths of formal methods: Dispelling industrial prejudices
inferred← citeshttps://doi.org/10.1007/3-540-61273-4_6openalex-snapshot
A conceptual and formal model of a diagnostic reasoner
inferred← citeshttps://doi.org/10.1007/978-1-4615-2275-1openalex-snapshot
The Knowledge Acquisition and Representation Language, KARL
inferred← citeshttps://doi.org/10.1007/978-1-4615-5915-3_26openalex-snapshot
Formal Specifications and Case
inferred← citeshttps://doi.org/10.1007/978-3-032-07574-1_9openalex-snapshot
Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
inferred← citeshttps://doi.org/10.1007/978-3-319-02054-9_29openalex-snapshot
Formal Modelling of Process Planning in Combined Additive and Subtractive Manufacturing
inferred← citeshttps://doi.org/10.1007/978-3-319-57135-5_11openalex-snapshot
Semantics and Verification of Entity Resolution and Data Fusion Operations via Transformation into a Formal Notation
inferred← citeshttps://doi.org/10.1007/978-3-642-51136-3_2openalex-snapshot
Ablaufspezifikation durch Datenflußdiagramme und Axiome
inferred← citeshttps://doi.org/10.1007/978-981-10-6385-5_55openalex-snapshot
DFDVis: A Visual Analytics System for Understanding the Semantics of Data Flow Diagram
inferred← citeshttps://doi.org/10.1007/978-981-96-8456-4_18openalex-snapshot
Simulation of Data Flow Diagram Using Coloured Petri Net
inferred← citeshttps://doi.org/10.1007/bfb0030527openalex-snapshot
Structured and formal methods: An investigative framework
inferred← citeshttps://doi.org/10.1007/s10115-026-02819-wopenalex-snapshot
A model-driven knowledge graph treatment for process-centric cyber threat mitigation
inferred← citeshttps://doi.org/10.1007/s10270-004-0062-1openalex-snapshot
Problem frame semantics for software development
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104498openalex-snapshot
Assessing the usefulness of Data Flow Diagrams for validating security threats
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111138openalex-snapshot
Detecting violations of access control and information flow policies in data flow diagrams
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111722openalex-snapshot
Automatic extraction of security-rich dataflow diagrams for microservice applications written in Java
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112761openalex-snapshot
Mitigation strategies for confidentiality violations in software architecture using ranked feature importance
inferred← citeshttps://doi.org/10.1016/j.jvlc.2018.08.001openalex-snapshot
Analyzing data flow diagrams by combination of formal methods and visualization techniques
inferred← citeshttps://doi.org/10.1016/s0167-9236(97)00045-6openalex-snapshot
Applying rule-base anomalies to KADS inference structures
inferred← citeshttps://doi.org/10.1017/s0269888900007566openalex-snapshot
Formal specification languages in knowledge and software engineering
inferred← citeshttps://doi.org/10.1049/ic:20040224openalex-snapshot
Reasoning about decomposing and recomposing problem frames developments: a case study
inferred← citeshttps://doi.org/10.1109/69.706055openalex-snapshot
The knowledge acquisition and representation language, KARL
inferred← citeshttps://doi.org/10.1109/ase.1998.732566openalex-snapshot
Identifying pre-conditions with the Z/EVES theorem prover
inferred← citeshttps://doi.org/10.1109/asea.2008.34openalex-snapshot
Formal Representations of the Data Flow Diagram: A Survey
inferred← citeshttps://doi.org/10.1109/formalise.2017.6openalex-snapshot
A Model for Provably Secure Software Design
inferred← citeshttps://doi.org/10.1109/icfem.1997.630394openalex-snapshot
Towards a formal semantics for an integrated SA/RT and Z specification language
inferred← citeshttps://doi.org/10.1109/icsa.2019.00028openalex-snapshot
Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
inferred← citeshttps://doi.org/10.1109/icsa65012.2025.00020openalex-snapshot
An Architecture-Based Approach to Mitigate Confidentiality Violations Using Machine Learning
inferred← citeshttps://doi.org/10.1109/kbse.1996.552823openalex-snapshot
Complementing semi-formal specifications with Z
inferred← citeshttps://doi.org/10.1145/1321631.1321692openalex-snapshot
Checking threat modeling data flow diagrams for implementation conformance and security
inferred← citeshttps://doi.org/10.1145/298151.298433openalex-snapshot
Formal semantics for SA style data flow diagram specification languages
inferred← citeshttps://doi.org/10.1145/3297280.3297287openalex-snapshot
Object-centric behavioral constraint models
inferred← citeshttps://doi.org/10.14236/ewic/mi1996.14openalex-snapshot
Application of Structured Analysis/Formal Design Method to a Case Study from the Nuclear Industry
inferred← citeshttps://doi.org/10.1504/ijbis.2017.083275openalex-snapshot
Graphical business process modelling standards, techniques and languages: a literature review
inferred← citeshttps://doi.org/10.21686/1818-4243-2019-2-61-68openalex-snapshot
Adaptation of the DFD technology in the modeling of business systems in the environment of RDS
inferred← citeshttps://doi.org/10.21686/1818-4243-2025-6-58-70openalex-snapshot
Visual Languages and Methods for Business Process Modeling: Development Prospects and Training Issues
inferred← citeshttps://doi.org/10.4018/978-1-5225-5243-7.ch004openalex-snapshot
Augmented Reality for Accident Analysis
inferred← citeshttps://doi.org/10.58694/20.500.12479/2571openalex-snapshot
Brix and alcohol content monitoring using wireless sensor network
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.