Specifying and Checking Refinement Relationships in VDM++.

Yojiro Kawamata Christian Sommer Fuyuki Ishikawa Shinichi Honiden

Published in: SEFM (2009)

Keyphrases

website
consistency checking
refinement process
databases
real world
learning algorithm
knowledge base
high level
hidden markov models
probability distribution
semantic relationships
query refinement