Refinement, Subtyping and Subclassing in VDM++.

Kevin Lano S. J. Goldsack

Published in: Theory and Formal Methods (1994)

Keyphrases

machine learning
information retrieval
feature selection
relational databases
viewpoint
refinement process
high level
high quality
learning environment
object recognition
recommender systems
dynamic programming
management system
least squares
refinement operators