Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net.
Dongming XiangGuanjun LiuPublished in: Comput. Informatics (2020)
Keyphrases
- data flow
- database machine
- control flow
- object oriented software
- random walk
- directed graph
- data transfer
- weighted graph
- state space
- systolic array
- graph theoretic
- graph theory
- structured data
- data driven
- graph structure
- graph databases
- graph representation
- directed acyclic graph
- graph mining
- graph model
- connected components
- digital signal processing
- software maintenance
- source code
- object oriented
- data model