Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems
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

Ana M. D. Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke
Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2013.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{MoDELS-2013,
	address       = "Miami, Florida, USA",
	doi           = "10.1007/978-3-642-41533-3",
	editor        = "Ana M. D. Moreira and Bernhard Schätz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke",
	isbn          = "978-3-642-41532-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 8107,
	year          = 2013,
}

Event page: http://models2013.lcc.uma.es/

Committee

  • Demo Track Chairs: Yan Liu, Steffen Zschaler
  • Doctoral Symposium Chair: Martin Gogolla
  • General Chairs: Jeff Gray, Antonio Vallecillo
  • Local Chair: Peter J. Clarke
  • Panel Chairs: Silvia Abrahão, Isidro Ramos
  • Poster Chairs: Benoit Baudry, Sudipto Ghosh
  • Practical Track Chairs: Magnus Christerson, Bernhard Schätz
  • Practical Track Program Committee: Silvia Abrahão, Alfred Aue, Balbir Barn, Brian Berenbach, Fernando Brito e Abreu, Tony Clark, Andreas Graf, Pavel Hruby, Jürgen Kazmeier, Cornel Klein, Georg Kreuch, Tihamer Levendovszky, Pieter J. Mosterman, Oscar Pastor, Isabelle Perseil, Rob Pettit, Alexander Pretschner, Wolfram Schulte, Bran Selic, Ketil Stølen, Stephan Thesing, Juha-Pekka Tolvanen, Mario Trapp, Markus Völter
  • Program Board: Lionel C. Briand, Jean-Michel Bruel, Krzysztof Czarnecki, Jürgen Dingel, Gregor Engels, Robert B. France, Martin Gogolla, Jean-Marc Jézéquel, Richard F. Paige, Dorina C. Petriu, Bernhard Rumpe, Jon Whittle
  • Program Board Chairs: Ana M. D. Moreira, Bernhard Schätz
  • Program Chairs: Ana M. D. Moreira, Bernhard Schätz, Ana M. D. Moreira
  • Program Committee: Vasco Amaral, Daniel Amyot, João Araújo, Colin Atkinson, Mira Balaban, Benoit Baudry, Nelly Bencomo, Xavier Blanc, Ruth Breu, Jordi Cabot, Alessandra Cavarra, Siobhán Clarke, Jane Cleland-Huang, Alexander Egyed, Rik Eshuis, Lidia Fuentes, Alessandro Garcia, Geri Georg, Sébastien Gérard, Holger Giese, John Grundy, Øystein Haugen, Zhenjiang Hu, Heinrich Hußmann, Gerti Kappel, Gabor Karsai, Ingolf Krüger, Thomas Kühne, Yvan Labiche, Philippe Lahire, Juan de Lara, Yves Le Traon, Hong Mei, Dragan Milicev, Raffaela Mirandola, Pierre-Alain Muller, Gunter Mussbacher, Ileana Ober, Alfonso Pierantonio, Gianna Reggio, Gustavo Rossi, Pete Sawyer, Andy Schürr, Arnor Solberg, Friedrich Steimann, Gabriele Täntzer, Dániel Varró, Michael W. Whalen, Tao Yue, Steffen Zschaler
  • Publication Chair: Manuel Wimmer
  • Publicity Chairs: James H. Hill, Martina Seidl
  • Satellite Events Chairs: Fabio Costa, Eugene Syriani
  • Social Media Chairs: Ralf Lämmel, Vadim Zaytsev
  • Steering Chairs: Gregor Engels, Lionel C. Briand
  • Steering Committee: Silvia Abrahão, Jean Bézivin, Ruth Breu, Jean-Michel Bruel, Krzysztof Czarnecki, Laurie Dillon, Jürgen Dingel, Geri Georg, Jeff Gray, Øystein Haugen, Heinrich Hußmann, Thomas Kühne, Ana M. D. Moreira, Pierre-Alain Muller, Oscar Nierstrasz, Dorina C. Petriu, Rob Pettit, Gianna Reggio, Bernhard Schätz, Wolfram Schulte, Andy Schürr, Stephen B. Seidman, Jon Whittle
  • Student Research Competition Chairs: Ethan K. Jackson, Davide Di Ruscio
  • Student Volunteers Chairs: Jonathan Corley, Raymond Chang Lau
  • Tutorials Chairs: Jordi Cabot, Jörg Kienzle
  • Web Chair: Robert Tairas
  • Contents (47 items)

    MODELS-2013-WhittleHRBH #industrial #modelling #problem #question #tool support
    Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (JW, JH, MR, HB, RH), pp. 1–17.
    MODELS-2013-SteimannU
    Generic Model Assist (FS, BU), pp. 18–34.
    MODELS-2013-FrancisKMP #spreadsheet #tool support
    Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
    MODELS-2013-PerezGCCC #analysis #modelling #network #policy #security
    Model-Driven Extraction and Analysis of Network Security Policies (SMP, JGA, FC, NCB, JC), pp. 52–68.
    MODELS-2013-VaraP #metamodelling #named #safety #standard
    SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.
    MODELS-2013-PretschnerHEG #assurance #fault #quality
    A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
    MODELS-2013-StorrleF #analysis #physics #towards #visual notation
    Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
    MODELS-2013-BatoryLA #database #education #modelling #perspective #relational
    Teaching Model Driven Engineering from a Relational Database Perspective (DSB, EL, MA), pp. 121–137.
    MODELS-2013-FondementMTWF #metamodelling
    Big Metamodels Are Evil — Package Unmerge — A Technique for Downsizing Metamodels (FF, PAM, LT, BW, GF), pp. 138–153.
    MODELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support
    Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.
    MODELS-2013-KuschkeMR #modelling #process #recommendation
    Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
    MODELS-2013-FaunesCBSC #automation #metamodelling
    Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
    MODELS-2013-WimmerB #testing
    Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
    MODELS-2013-ChavezSFM #approach #implementation #java #testing #uml
    An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
    MODELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using
    Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
    MODELS-2013-TaentzerMAL #metamodelling #migration #multi
    Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
    MODELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using
    Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
    MODELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling
    Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.
    MODELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
    Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
    MODELS-2013-PiresPWD #behaviour #embedded #source code #verification
    Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
    MODELS-2013-ZalilaCP #approach #domain-specific language #integration #verification
    Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.
    MODELS-2013-AcherCCBLF #composition #modelling #variability
    Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
    MODELS-2013-NieYAZF #automation #constraints #cyber-physical #named
    Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
    MODELS-2013-Gonzalez-HuertaIA #approach #architecture #multi #validation
    Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (JGH, EI, SA), pp. 388–404.
    MODELS-2013-WendlandSH #evolution #interactive #metamodelling #uml
    Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.
    MODELS-2013-RajbhojR #approach #detection #metamodelling #version control
    A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
    MODELS-2013-HebigGSS #evolution #on the
    On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
    MODELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml
    Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
    MODELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification
    Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
    MODELS-2013-HamannG #concept #metamodelling #semantics #uml
    Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
    MODELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using
    Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
    MODELS-2013-Wouters #development #domain-specific language #towards
    Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.
    MODELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
    Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
    MODELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using
    Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
    MODELS-2013-ZhangCZWY0L #modelling #runtime
    Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.
    MODELS-2013-IordanovAAHU #modelling #semantics #web
    The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
    MODELS-2013-AlamKM #design
    Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.
    MODELS-2013-SunkleKR #architecture #enterprise #modelling #ontology #using
    Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology (SS, VK, SR), pp. 622–638.
    MODELS-2013-FariasGWL #case study #design #industrial #modelling #scalability
    Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.
    MODELS-2013-TisiPC #atl #execution #parallel
    Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
    MODELS-2013-FamelisSSC #modelling #nondeterminism
    Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
    MODELS-2013-SelimBCDW #automation #industrial #model transformation #verification
    Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
    MODELS-2013-SaadB #analysis #data flow
    Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.
    MODELS-2013-SunFR #modelling #slicing #uml
    Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
    MODELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #web
    Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML (AF, SA, EI, MM), pp. 740–756.
    MODELS-2013-ArkinTI #algorithm #approach #modelling #parallel #platform
    Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.
    MODELS-2013-GreenyerK #composition #specification #synthesis
    Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.

    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.