Improving Traceability between KAOS Requirements Models and B Specifications.

Abderrahman Matoussi Dorian Petit

Published in: ASM (2010)

Keyphrases

computational models
complex systems
prior knowledge
search engine
functional requirements
high level
case study
machine learning
bayesian networks
graphical models
experimental data
statistical models
decision trees
metamodel
classification models
design choices
reactive systems