Combining Transformation and Posit-and Prove in a VDM Development.

Published in: VDM Europe (1) (1991)

Keyphrases

probabilistic model
upper bound
practical application
st century
databases
metadata
decision trees
decision support
information processing
development process