A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.

Wolf Zimmermann Axel Dold

Published in: Abstract State Machines (2003)

Keyphrases

modeling framework
main contribution
model driven
learning algorithm
feature selection
probabilistic model
conceptual model
conceptual framework
dynamic bayesian networks
modeling method
specification language
logical framework