From Requirements to Verifiable Executable Models Using Rebeca.

Marjan Sirjani Luciana Provenzano Sara Abbaspour Asadollah Mahshid Helali Moghadam

Published in: SEFM (2020)

Keyphrases

probabilistic model
machine learning
decision trees
experimental data
statistical models
parametric models
database
social networks
case study
artificial neural networks
prior knowledge
sufficient conditions
statistical model
computational models
user requirements
functional requirements