Generating High-Level Event-B System Models from KAOS Requirements Models.

Christophe Ponsard Xavier Devroey

Published in: INFORSID (2011)

Keyphrases

high level
probabilistic model
statistical models
neural network
machine learning
prior knowledge
data mining
data model
low level
statistical model
experimental data
neural network model
goal oriented
accurate models