A formal semantics of data flow diagrams

DOI10.1007/BF01211868MaRDI QIDQ1346602zbMATH OpenDBLPWikidataFDO

Authors Peter Gorm Larsen, Nico Plat, Hans Toetenel

Publication date 6 April 1995

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01211868

zbMATH Keywords

semantics of data flow diagramsstructured analysisVDM specification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Semantic specification and verification of data flow diagrams
• A semantics of sequence diagrams.
• Publication:4723281
• scientific article; zbMATH DE number 550761
• On the semantics of unified modeling language diagrams using Z notation

Cites work

• The formal specification of safety requirements for storing explosives

Cited in

(10)

• Defining specialization for dataflow diagrams.
• Semantics of multiway dataflow constraint systems
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• A Formal Definition of Data Flow Graph Models
• scientific article; zbMATH DE number 1305005 (Why is no real title available?)
• A new synthetical knowledge representation model and its application in data flow diagram
• scientific article; zbMATH DE number 1487734 (Why is no real title available?)
• scientific article; zbMATH DE number 4189706 (Why is no real title available?)
• Refining privacy-aware data flow diagrams

This page was built for publication: A formal semantics of data flow diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346602)