| 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 |