The ASM Ground Model Method as a Foundation for Requirements Engineering.

Published in: Verification: Theory and Practice (2003)

Keyphrases

statistical model
mathematical model
probabilistic model
similarity measure
cost function
objective function
requirements engineering
information systems
high level
em algorithm
energy function
formal model
goal oriented