Formal Semantics for SA Style Data Flow Diagram Specification Languages.

Gary T. Leavens Tim Wahls Albert L. Baker

Published in: SAC (1999)

Keyphrases

formal semantics
simulated annealing
database
case study
data sources
probability distribution
data quality
specification languages