Verifying Reuse Contracts with a Component Model.
Agustín Cernuda del RíoJosé Emilio Labra GayoJuan Manuel Cueva LovellePublished in: JISBD (2001)
Keyphrases
- probabilistic model
- computational model
- formal model
- neural network model
- linear model
- high level
- parameter values
- prediction model
- sensitivity analysis
- experimental data
- data sets
- parameter estimation
- input data
- statistical model
- model selection
- management system
- probability distribution
- cost function
- artificial neural networks
- multi agent
- objective function
- multiscale
- artificial intelligence