


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














