From requirements to partial behavior models: an iterative approach to incremental specification refinement.

Published in: SIGSOFT FSE (2010)

Keyphrases

complex systems
prior knowledge
probabilistic model
experimental data
information systems
data driven
parameter estimation
statistical models
neural network model
incremental learning
application specific
formal specification
agent based models