Towards a Formal Foundation for DeMarco Data Flow Diagrams
Open Access
- 1 January 1989
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 32 (1) , 1-12
- https://doi.org/10.1093/comjnl/32.1.1
Abstract
In this paper, we describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.Keywords
This publication has 0 references indexed in Scilit: