Specification and Refinement of Finite Dataflow Networks - a Relational Approach.
Manfred BroyKetil StølenPublished in: FTRTFT (1994)
Keyphrases
- relational databases
- control flow
- parallel computing
- social networks
- computer networks
- formal specification
- relational data
- network structure
- network model
- network analysis
- community structure
- software testing
- data model
- high level
- learning algorithm
- databases
- relational calculus
- statistical relational learning
- design methodology
- conceptual model
- social network analysis
- complex systems
- neural network