Proving Component Interoperability with B Refinement.

Samir Chouali Maritta Heisel Jeanine Souquières

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

web services
information systems
software components
metadata
data sets
neural network
learning algorithm
artificial intelligence
computer vision
feature selection
decision making
information technology
multiresolution
semantic web
semantic technologies
refinement process