MoDELS 2010: Oslo, Norway

Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (Eds.): 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

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

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

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

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

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

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

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

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

Last update Fri May 25 08:27:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page