Login / Signup
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