Process Patterns into B Specifications.

Frédéric Gervais Marc Frappier Régine Laleau

Published in: B (2007)

Keyphrases

real world
high level
database systems
domain knowledge
database
databases
neural network
machine learning
information retrieval
feature selection
search algorithm
natural language
expert systems
hidden markov models
programming language