default search action
MoDELS 2010: Oslo, Norway
- Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen:
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6394, Springer 2010, ISBN 978-3-642-16144-5
Keynote 1
- Ole Lehrmann Madsen, Birger Møller-Pedersen:
A Unified Approach to Modeling and Programming. 1-15
Genericity and Generalization
- Juan de Lara, Esther Guerra:
Generic Meta-modelling with Concepts, Templates and Mixin Layers. 16-30 - Thomas Kühne:
An Observer-Based Notion of Model Inheritance. 31-45 - Tripti Saxena, Gabor Karsai:
MDE-Based Approach for Generalizing Design Space Exploration. 46-60
Model Migration and Incremental Manipulation
- Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack:
A Comparison of Model Migration Tools. 61-75 - Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, András Ökrös:
Incremental Evaluation of Model Queries over EMF Models. 76-90 - Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel:
Active Operations on Collections. 91-105
Modeling Model Transformations
- Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos:
transML: A Family of Languages to Model Model Transformations. 106-120 - Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer:
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. 121-135 - Levi Lucio, Bruno Barroca, Vasco Amaral:
A Technique for Automatic Validation of Model Transformations. 136-150
Verifying Consistency and Conformance
- Christian Schwarzl, Bernhard Peischl:
Static- and Dynamic Consistency Analysis of UML State Chart Models. 151-165 - Lukman Ab. Rahim, Jon Whittle:
Verifying Semantic Conformance of State Machine-to-Java Code Generators. 166-180 - Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. 181-195
Taming Modeling Complexity
- Hauke Fuhrmann, Reinhard von Hanxleden:
Taming Graphical Modeling. 196-210 - Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck:
Taming EMF and GMF Using Model Transformation. 211-225 - Patrick Mäder, Jane Cleland-Huang:
A Visual Traceability Modeling Language. 226-240
Modeling User-System Interaction
- Albert Ambroziewicz, Michal Smialek:
Application Logic Patterns - Reusable Elements of User-System Interaction. 241-255 - António Miguel Rosado da Cruz, João Pascoal Faria:
A Metamodel-Based Approach for Automatic User Interface Generation. 256-270 - Arne Schramm, André Preußner, Matthias Heinrich, Lars Vogel:
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques. 271-285
Model-Driven Quality Assurance
- Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. 286-300 - Andrew Diniz da Costa, Viviane Torres da Silva, Alessandro Garcia, Carlos José Pereira de Lucena:
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study. 301-315 - Heather Goldsby, Betty H. C. Cheng:
Automatically Discovering Properties That Specify the Latent Behavior of UML Models. 316-330
Managing Variability
- Hans Grönniger, Dirk Reiss, Bernhard Rumpe:
Towards a Semantics of Activity Diagrams with Semantic Variation Points. 331-345 - Shin'ichi Shiraishi:
An AADL-Based Approach to Variability Modeling of Automotive Control Systems. 346-360 - Claas Wilke, Michael Thiele, Christian Wende:
Extending Variability for OCL Interpretation. 361-375
Multi-Modeling Approaches
- Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige:
Inter-modelling: From Theory to Practice. 376-391 - Florian Noyrit, Sébastien Gérard, François Terrier, Bran Selic:
Consistent Modeling Using Multiple UML Profiles. 392-406 - Jesús Pardillo:
A Systematic Review on the Definition of UML Profiles. 407-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.