Software Component Design with the B Method - A Formalization in Isabelle/HOL.

David Déharbe Stephan Merz

Published in: FACS (2015)

Keyphrases

detection method
pairwise
significant improvement
case study
support vector machine
neural network
multi agent
cooperative
preprocessing
high accuracy
design rationale
software design
software architecture
probabilistic model
user interface
reinforcement learning
similarity measure
high level
machine learning