Trace Specifications: Methodology and Models.

Daniel Hoffman Richard T. Snodgrass

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

mathematical models
high level
multiscale
prior knowledge
complex systems
formal specification
predictive model
real time
learning algorithm
multi agent
probabilistic model
logic programs
model selection
experimental data
bayesian framework
design methodology