No. | Title | Author | Year |
---|---|---|---|
1 | Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) | Clark, Tony et al. | 2013 |
2 | Towards Model Validation and Verification with SAT Techniques | Gogolla, Martin | 2010 |
3 | On Horizontal and Vertical Relationships between Models | Gogolla, Martin | 2008 |
4 | Model Development in the UML-based Specification Environment (USE) | Gogolla, Martin | 2007 |
5 | Tales of ER and RE Syntax and Semantics | Gogolla, Martin | 2006 |
6 | An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion | Gogolla, Martin | 2005 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 6 |