Formal Specification and Testing of Model Transformations.

Antonio Vallecillo Martin Gogolla Loli Burgueño Manuel Wimmer Lars Hamann

Published in: SFM (2012)

Keyphrases

formal specification
specification language
real world
machine learning
information systems
e learning
relational databases
open source