A Formal Semantics of Data Flow Diagrams.
Peter Gorm LarsenNico PlatHans ToetenelPublished in: Formal Aspects Comput. (1994)
Keyphrases
- formal semantics
- data flow
- database machine
- control flow
- object oriented software
- data transfer
- formal language
- digital signal processing
- er model
- logical reasoning
- logical language
- modeling language
- operational semantics
- first order logic
- systolic array
- owl dl ontology
- modelling language
- speech acts
- theorem prover
- object oriented
- ontology languages
- bayesian networks
- case study
- machine learning