A Metamodel for Verifying Institutions.

Francesco Viganò

Published in: EUMAS (2006)

Keyphrases

metamodel
life cycle
development process
modeling language
data model
software systems
black box
reference model
model driven
design patterns
uml profile
model checking
transformation rules
development processes
information technology
semi automatic