Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, Part I
MoDELS (1), 2010.

@proceedings{MoDELS-v1-2010,
	address       = "Oslo, Norway",
	doi           = "10.1007/978-3-642-16145-2",
	editor        = "Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen",
	isbn          = "978-3-642-16144-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, Part I}",
	volume        = 6394,
	year          = 2010,
}

Contents (28 items)

12 ×#modelling
5 ×#approach
5 ×#uml
4 ×#consistency
4 ×#model transformation
3 ×#automation
3 ×#emf
3 ×#named
2 ×#concept
2 ×#industrial

MoDELS-v1-2010-MadsenM #approach #modelling #programming

A Unified Approach to Modeling and Programming (OLM, BMP), pp. 1–15.

MoDELS-v1-2010-LaraG #concept #metamodelling #mixin

Generic Meta-modelling with Concepts, Templates and Mixin Layers (JdL, EG), pp. 16–30.

MoDELS-v1-2010-Kuhne #inheritance

An Observer-Based Notion of Model Inheritance (TK), pp. 31–45.

MoDELS-v1-2010-SaxenaK #approach #design

MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.

MoDELS-v1-2010-RoseHWKGPP #comparison #migration #tool support

A Comparison of Model Migration Tools (LMR, MH, JRW, DSK, KG, RFP, FACP), pp. 61–75.

MoDELS-v1-2010-BergmannHRVBBO #emf #evaluation #incremental #modelling #query

Incremental Evaluation of Model Queries over EMF Models (GB, ÁH, IR, DV, AB, ZB, AÖ), pp. 76–90.

MoDELS-v1-2010-BeaudouxBBJ

Active Operations on Collections (OB, AB, OB, JMJ), pp. 91–105.

MoDELS-v1-2010-GuerraLKPS #model transformation #named #product line

transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.

MoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.

MoDELS-v1-2010-LucioBA #automation #model transformation #validation

A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.

MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml

Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.

MoDELS-v1-2010-RahimW #code generation #consistency #semantics #state machine #verification

Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.

MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.

MoDELS-v1-2010-FuhrmannH #modelling #visual notation

Taming Graphical Modeling (HF, RvH), pp. 196–210.

MoDELS-v1-2010-KolovosRAPPB #emf #model transformation #using

Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.

MoDELS-v1-2010-MaderC #modelling #traceability #visual notation

A Visual Traceability Modeling Language (PM, JCH), pp. 226–240.

MoDELS-v1-2010-AmbroziewiczS #interactive #logic #reuse

Application Logic Patterns — Reusable Elements of User-System Interaction (AA, MS), pp. 241–255.

MoDELS-v1-2010-CruzF #approach #automation #generative #metamodelling #user interface

A Metamodel-Based Approach for Automatic User Interface Generation (AMRdC, JPF), pp. 256–270.

MoDELS-v1-2010-SchrammPHV #agile #development #enterprise #modelling #user interface

Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques (AS, AP, MH, LV), pp. 271–285.

MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.

MoDELS-v1-2010-CostaSGL #industrial #modelling #scalability

Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study (ADdC, VTdS, AG, CJPdL), pp. 301–315.

MoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml

Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.

MoDELS-v1-2010-GronnigerRR #diagrams #process #semantics #towards

Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.

MoDELS-v1-2010-Shiraishi #approach #modelling #variability

An AADL-Based Approach to Variability Modeling of Automotive Control Systems (SS), pp. 346–360.

MoDELS-v1-2010-WilkeTW #ocl #variability

Extending Variability for OCL Interpretation (CW, MT, CW), pp. 361–375.

MoDELS-v1-2010-GuerraLKP #named #theory and practice

Inter-modelling: From Theory to Practice (EG, JdL, DSK, RFP), pp. 376–391.

MoDELS-v1-2010-NoyritGTS #consistency #modelling #multi #uml #using

Consistent Modeling Using Multiple UML Profiles (FN, SG, FT, BS), pp. 392–406.

MoDELS-v1-2010-Pardillo #overview #uml

A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.