xMOF: A Semantics Specification Language for Metamodeling.

Tanja Mayerhofer Philip Langer Manuel Wimmer

Published in: MoDELS (Demos/Posters/StudentResearch) (2013)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
requirements specification
model checking
software environment
general purpose
database
dynamic programming
software engineering
multiagent systems
model checker