Verifying Reuse Contracts with a Component Model.

Agustín Cernuda del Río José Emilio Labra Gayo Juan Manuel Cueva Lovelle

Published 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