Sign in

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

Elena PlanasDavid Sanchez-MendozaJordi CabotCristina 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