Proceedings of the 15th 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

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2012.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{MoDELS-2012,
	address       = "Innsbruck, Austria",
	doi           = "10.1007/978-3-642-33666-9",
	editor        = "Robert B. France and Jürgen Kazmeier and Ruth Breu and Colin Atkinson",
	isbn          = "978-3-642-33665-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 7590,
	year          = 2012,
}

Committee

  • Demo Track Chair: Dániel Varró
  • Doctoral Symposium Chair: Yvan Labiche
  • General Chairs: Ruth Breu, Colin Atkinson
  • Local Committee: Anja Niedworok
  • Panel Chair: Friedrich Steimann
  • Practical Track Chair: Jürgen Kazmeier
  • Practical Track Program Committee: Alfred Aue, Robert Baillargeon, Balbir Barn, Klaus Beetz, Nelly Bencomo, Brian Berenbach, Bezhad Bordbar, Rudolf Haggenmüller, Øystein Haugen, Pavel Hruby, Cornel Klein, Georg Kreuch, Vinay Kulkarni, Thomas Mayerdorfer, Stephen J. Mellor, Dan Paulish, Isabelle Perseil, Rob Pettit, Bernhard Schätz, Wolfram Schulte, Sebastin Thoma, Juha-Pekka Tolvanen MetaCase, Laurence Tratt, Michael von der Beeck, Frank Weil
  • Program Board: Lionel C. Briand, Manfred Broy, Betty H. C. Cheng, Tony Clark, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Bran Selic, Perdita Stevens
  • Program Chair: Robert B. France
  • Program Committee: Daniel Amyot, Don S. Batory, Benoit Baudry, Xavier Blanc, Jean-Michel Bruel, Jordi Cabot, Alessandra Cavarra, Michel R. V. Chaudron, Siobhán Clarke, Vittorio Cortellessa, Krzysztof Czarnecki, Jürgen Dingel, Alexander Egyed, Gregor Engels, Rik Eshuis, Alessandro Garcia, Holger Giese, Sébastien Gérard, Sudipto Ghosh, Jeff Gray, Brian Henderson-Sellers, Zhenjiang Hu, Heinrich Hußmann, Paola Inverardi, Gerti Kappel, Gabor Karsai, Alexander Knapp, Ingolf Krüger, Thomas Kühne, Yvan Labiche, Philippe Lahire, Kevin Lano, Hong Mei, Dragan Milicev, Raffaela Mirandola, Ana M. D. Moreira, Pierre-Alain Muller, Ileana Ober, Richard F. Paige, Dorina C. Petriu, Alfonso Pierantonio, Alexander Pretschner, Gianna Reggio, Andy Schürr, Arnor Solberg, Jim Steel, Gabriele Täntzer, Antonio Vallecillo, Hans Vangheluwe, Dániel Varró, Michael W. Whalen, Jon Whittle, Andrea Zisman, Steffen Zschaler
  • Publicity Chairs: Peter J. Clarke, Boris Shishkov
  • Satellite Events Chairs: Jeff Gray, Joanna Chimiak-Opoka
  • Social Media Chair: Richard F. Paige
  • Steering Chairs: Geri Georg, Gregor Engels
  • Steering Committee: Jean Bézivin, Ruth Breu, Lionel C. Briand, Jean-Michel Bruel, Krzysztof Czarnecki, Matthew B. Dwyer, Øystein Haugen, Heinrich Hußmann, Thomas Kühne, Pierre-Alain Muller, Oscar Nierstrasz, Dorina C. Petriu, Rob Pettit, Gianna Reggio, Doug Schmidt, Andy Schürr, Stephen B. Seidman, Jon Whittle
  • Tutorials Chair: Antonio Vallecillo
  • Web Chair: Thomas Schrettl
  • Contents (51 items)

    MODELS-2012-Henzinger #modelling
    Quantitative Reactive Models (TAH), pp. 1–2.
    MODELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling
    Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
    MODELS-2012-NoyritGS #metamodelling #named #uml
    FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.
    MODELS-2012-RabbiM #agile #development #domain-specific language #workflow
    T: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
    MODELS-2012-RamirezCBS #nondeterminism #runtime
    Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
    MODELS-2012-AlferezP #evolution #modelling #runtime
    Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
    MODELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime
    An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.
    MODELS-2012-ScheidgenZFK #automation #modelling #scalability
    Automated and Transparent Model Fragmentation for Persisting Large Models (MS, AZ, JF, THK), pp. 102–118.
    MODELS-2012-CombemaleTB #infinity #modelling
    Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
    MODELS-2012-HegedusHRV #emf #modelling
    Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
    MODELS-2012-FavreLV #architecture #modelling
    Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
    MODELS-2012-PfeifferW #development
    Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
    MODELS-2012-GravinoRST #comprehension #design pattern #developer #documentation #replication #source code
    Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension (CG, MR, GS, GT), pp. 185–201.
    MODELS-2012-RederE #consistency #design #incremental
    Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
    MODELS-2012-FariasGL #aspect-oriented #consistency #detection #empirical #nondeterminism
    Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.
    MODELS-2012-HamannHG #behaviour #modelling #ocl #on the
    On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
    MODELS-2012-SchroeterLW #feature model #modelling #multi
    Multi-perspectives on Feature Models (JS, ML, TW), pp. 252–268.
    MODELS-2012-JohansenHFES #array #generative #modelling #product line
    Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.
    MODELS-2012-KulkarniBR #product line #towards
    Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.
    MODELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml
    Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
    MODELS-2012-ShaverL
    The Coroutine Model of Computation (CS, EAL), pp. 319–334.
    MODELS-2012-MaozS #semantics #synthesis
    Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
    MODELS-2012-KuhnMT #case study #development #modelling #scalability
    An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development (AK, GCM, CAT), pp. 352–367.
    MODELS-2012-SunGBB #approach #industrial #modelling
    A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
    MODELS-2012-SalayWS #development #modelling
    Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
    MODELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
    Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
    MODELS-2012-KuhlmannG #logic #ocl #relational #uml
    From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
    MODELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
    On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
    MODELS-2012-GonzalezC #approach #atl #generative #named #testing
    ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
    MODELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
    Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
    MODELS-2012-AboussororOO #fault #modelling #simulation #visualisation
    Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
    MODELS-2012-BehjatiYB #approach #modelling #reuse #similarity #using
    A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data (RB, TY, LCB), pp. 497–513.
    MODELS-2012-Wu0SZ #component #fault tolerance #modelling
    Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
    MODELS-2012-VierhauserGHHL #consistency #framework #industrial #modelling #product line
    Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines (MV, PG, WH, GH, DL), pp. 531–545.
    MODELS-2012-SaadaDHNS #generative #model transformation
    Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
    MODELS-2012-AranegaEM #feature model #model transformation #using
    Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
    MODELS-2012-KainzBK #approach #model transformation
    A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
    MODELS-2012-SchulzeCA #approach #modelling #uml
    An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
    MODELS-2012-GrammelKV #development #generative #modelling
    Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
    MODELS-2012-BrancoTCKV #abstraction #process #workflow
    Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
    MODELS-2012-IqbalAYB #case study #experience #industrial #uml
    Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
    MODELS-2012-SunkleK #estimation #modelling
    Cost Estimation for Model-Driven Engineering (SS, VK), pp. 659–675.
    MODELS-2012-FariasGWCL #design #empirical #modelling
    Evaluating the Effort of Composing Design Models: A Controlled Experiment (KF, AG, JW, CC, CJPdL), pp. 676–691.
    MODELS-2012-ArandaDB #modelling #question #what
    Transition to Model-Driven Engineering — What Is Revolutionary, What Remains the Same? (JA, DD, AB), pp. 692–708.
    MODELS-2012-HumaGEJ #automation #towards #uml
    Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
    MODELS-2012-AliYBW #case study #industrial #modelling #product line #testing
    A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
    MODELS-2012-WilliamsBPP #analysis #modelling
    Sensitivity Analysis in Model-Driven Engineering (JRW, FRB, RFP, FACP), pp. 743–758.
    MODELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing
    Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
    MODELS-2012-BesovaWWB #composition #multi
    Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
    MODELS-2012-BriandFNSY #modelling
    Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
    MODELS-2012-SindicoNS #architecture #design #industrial #modelling #process
    An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design (AS, MDN, ALSV), pp. 810–826.

    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.