Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models.

Elena Planas David Sanchez-Mendoza Jordi Cabot Cristina Gómez

Published in: ER Workshops (2012)

Keyphrases

metamodel
statistical models
probabilistic model
object oriented
database design
databases
knowledge base
case study
high level
hidden markov models
statistical model