Modelling Specification Construction by Successive Approximations.

Nicole Lévy Jeanine Souquières

Published in: AMAST (1997)

Keyphrases

specification language
formal specification
construction process
learning algorithm
efficient computation
databases
decision making
website
multiscale
data structure
hidden markov models
probability distribution
closed form