Principles of Data Flow Integrity: Specification and Enforcement.

Toktam Ramezanifarkhani Mohammadreza Razzazi

Published in: J. Inf. Sci. Eng. (2015)

Keyphrases

data flow
control flow
database machine
workflow model
digital signal processing
object oriented software
data transfer
systolic array
object oriented
software engineering
integrity constraints
high level
process model
formal specification
integrity checking