Executable Specifications with Data-flow Diagrams.

Alfonso Fuggetta Carlo Ghezzi Dino Mandrioli Angelo Morzenti

Published in: Softw. Pract. Exp. (1993)

Keyphrases

data flow
control flow
database machine
formal specification
data transfer
digital signal processing
attribute grammars
object oriented
systolic array
database systems
case study
process model
hand drawn
workflow model
delay insensitive
object oriented software