Synthesizing partial component-level behavior models from system specifications.

Ivo Krka Yuriy Brun George Edwards Nenad Medvidovic

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

physical systems
artificial intelligence
statistical models
feature selection
abstraction levels
real time
parameter estimation
model selection
accurate models
specification language
levels of abstraction
statistical model
probabilistic model
bayesian networks
three dimensional
website
genetic algorithm
data mining