Automatic Generation of Data Flow Diagrams From A Requirements Specification Language.
L. Beth ProtskoPaul G. SorensonJ. P. DemblayPublished in: ICIS (1984)
Keyphrases
- data flow
- specification language
- requirements specification
- database machine
- formal specification
- description language
- programming language
- symbolic execution
- control flow
- digital signal processing
- object oriented
- object oriented software
- data transfer
- software environment
- systolic array
- information systems
- general purpose
- state space
- relational databases
- databases