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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI