Formal MOF Metamodeling and Tool Support.

Liliana Favre Daniel Duarte

Published in: MODELSWARD (2016)

Keyphrases

tool support
software tools
software development
design decisions
software engineering
metamodel
integrity checking
formal model
software projects
formal language
requirements engineering
test suite
machine learning
formal methods
trade off
expert systems
feature space
database systems