Table of Contents

• Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?Jon Whittle, John Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal. 1-17 [doi]
• Generic Model AssistFriedrich Steimann, Bastian Ulke. 18-34 [doi]
• Adding Spreadsheets to the MDE ToolkitMartins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige. 35-51 [doi]
• Model-Driven Extraction and Analysis of Network Security PoliciesSalvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot. 52-68 [doi]
• SafetyMet: A Metamodel for Safety StandardsJose Luis de la Vara, Rajwinder Kaur Panesar-Walawege. 69-86 [doi]
• A Generic Fault Model for Quality AssuranceAlexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar. 87-103 [doi]
• Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual LanguagesHarald Störrle, Andrew Fish. 104-120 [doi]
• Teaching Model Driven Engineering from a Relational Database PerspectiveDon S. Batory, Eric Latimer, Maider Azanza. 121-137 [doi]
• Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing MetamodelsFrédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier. 138-153 [doi]
• Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case StudyMaged Elaasar, Adam Neal. 154-169 [doi]
• Recommending Auto-completions for Software Modeling ActivitiesTobias Kuschke, Patrick Mäder, Patrick Rempel. 170-186 [doi]
• Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-ExamplesMartin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale. 187-202 [doi]
• Testing M2T/T2M TransformationsManuel Wimmer, Loli Burgueño. 203-219 [doi]
• An Approach to Testing Java Implementation against Its UML Class ModelHector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling. 220-236 [doi]
• Automated Test Case Selection Using Feature Model: An Industrial Case StudyShuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen. 237-253 [doi]
• Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity ChangesGabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo. 254-270 [doi]
• Fine-Grained Software Evolution Using UML Activity and Class ModelsWalter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France. 271-286 [doi]
• Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed. 287-303 [doi]
• Model Checking of UML-RT Models Using Lazy CompositionKarolina Zurowska, Jürgen Dingel. 304-319 [doi]
• Behavioural Verification in Embedded Software, from Model to Source CodeAnthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat. 320-335 [doi]
• Formal Verification Integration Approach for DSMLFaiez Zalila, Xavier Crégut, Marc Pantel. 336-351 [doi]
• Composing Your Compositions of Variability ModelsMathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France. 352-369 [doi]
• Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical SystemsKunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan. 370-387 [doi]
• Defining and Validating a Multimodel Approach for Product Architecture Derivation and ImprovementJavier Gonzalez-Huerta, Emilio Insfrán, Silvia Abrahão. 388-404 [doi]
• Evolution of the UML Interactions MetamodelMarc-Florian Wendland, Martin Schneider, Øystein Haugen. 405-421 [doi]
• A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning SystemAsha Rajbhoj, Sreedhar Reddy. 422-435 [doi]
• On the Complex Nature of MDE EvolutionRegina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel. 436-453 [doi]
• Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition ConstraintsMira Balaban, Azzam Maraee. 454-470 [doi]
• Specification of Cyber-Physical Components with Formal Semantics - Integration and CompositionGabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits. 471-487 [doi]
• Endogenous Metamodeling Semantics for Structural UML 2 ConceptsLars Hamann, Martin Gogolla. 488-504 [doi]
• Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis TechniquesFlorian Noyrit, Sébastien Gérard, François Terrier. 505-521 [doi]
• Towards the Notation-Driven Development of DSMLsLaurent Wouters. 522-537 [doi]
• Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-SolverOszkár Semeráth, Ákos Horváth, Dániel Varró. 538-554 [doi]
• Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint SolvingHui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke. 555-571 [doi]
• Runtime Model Based Management of Diverse Cloud ResourcesXiaodong Zhang 0001, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang 0001, Qiang Lin. 572-588 [doi]
• The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship ManagementBorislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta. 589-603 [doi]
• Concern-Oriented Software DesignOmar Alam, Jörg Kienzle, Gunter Mussbacher. 604-621 [doi]
• Analyzing Enterprise Models Using Enterprise Architecture-Based OntologySagar Sunkle, Vinay Kulkarni, Suman Roychoudhury. 622-638 [doi]
• Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case StudiesKleinner Farias, Alessandro Garcia, Jon Whittle, Carlos José Pereira de Lucena. 639-655 [doi]
• Parallel Execution of ATL Transformation RulesMassimo Tisi, Salvador Martínez Perez, Hassene Choura. 656-672 [doi]
• Transformation of Models Containing UncertaintyMichalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik. 673-689 [doi]
• Automated Verification of Model Transformations in the Automotive IndustryGehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. 690-706 [doi]
• Data-Flow Based Model Analysis and Its ApplicationsChristian Saad, Bernhard Bauer. 707-723 [doi]
• Contract-Aware Slicing of UML Class ModelsWuliang Sun, Robert B. France, Indrakshi Ray. 724-739 [doi]
• Usability Inspection in Model-Driven Web Development: Empirical Validation in WebMLAdrian Fernandez, Silvia Abrahão, Emilio Insfrán, Maristella Matera. 740-756 [doi]
• Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing PlatformsEthem Arkin, Bedir Tekinerdogan, Kayhan M. Imre. 757-773 [doi]
• Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee SpecificationsJoel Greenyer, Ekkart Kindler. 774-789 [doi]