Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, Part I
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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, ), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.