Keynote

• 
  Thomas A. Henzinger: Quantitative Reactive Models. 1-2

MetaModels and Domain Specific Modeling

• 
  Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra: Bottom-Up Meta-Modelling: An Interactive Approach. 3-19
• 
  Florian Noyrit, Sébastien Gérard, Bran Selic: FacadeMetamodel: Masking UML. 20-35
• 
  Fazle Rabbi, Wendy MacCaull: T □: A Domain Specific Language for Rapid Workflow Development. 36-52

Models at RunTime

• 
  Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. 53-69
• 
  Germán H. Alférez, Vicente Pelechano: Dynamic Evolution of Context-Aware Systems with Models at Runtime. 70-86
• 
  François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel: An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. 87-101

Model Management I

• 
  Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe: Automated and Transparent Model Fragmentation for Persisting Large Models. 102-118
• 
  Benoît Combemale, Xavier Thirioux, Benoit Baudry: Formally Defining and Iterating Infinite Models. 119-133
• 
  Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró: Query-Driven Soft Interconnection of EMF Models. 134-150

Modeling Methods and Tools I

• 
  Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich: Modeling the Linguistic Architecture of Software Products. 151-167
• 
  Rolf-Helge Pfeiffer, Andrzej Wasowski: Cross-Language Support Mechanisms Significantly Aid Software Development. 168-184
• 
  Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora: Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension. 185-201

Consistency Analysis

• 
  Alexander Reder, Alexander Egyed: Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. 202-218
• 
  Kleinner Farias, Alessandro Garcia, Carlos José Pereira de Lucena: Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment. 219-234
• 
  Lars Hamann, Oliver Hofrichter, Martin Gogolla: On Integrating Structure and Behavior Modeling with OCL. 235-251

Software Product Lines I

• 
  Julia Schroeter, Malte Lochau, Tim Winkelmann: Multi-perspectives on Feature Models. 252-268
• 
  Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen: Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. 269-284
• 
  Vinay Kulkarni, Souvik Barat, Suman Roychoudhury: Towards Business Application Product Lines. 285-301

Foundations of Modeling

• 
  Azzam Maraee, Mira Balaban: Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. 302-318
• 
  Chris Shaver, Edward A. Lee: The Coroutine Model of Computation. 319-334
• 
  Shahar Maoz, Yaniv Sa'ar: Assume-Guarantee Scenarios: Semantics and Synthesis. 335-351

Model Management II

• 
  Adrian Kuhn, Gail C. Murphy, C. Albert Thompson: An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development. 352-367
• 
  Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou: A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software. 368-382
• 
  Rick Salay, Shige Wang, Vivien Suen: Managing Related Models in Vehicle Control Software Development. 383-398

Static Analysis Techniques

• 
  Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner: Detecting Specification Errors in Declarative Languages with Constraints. 399-414
• 
  Mirco Kuhlmann, Martin Gogolla: From UML and OCL to Relational Logic and Back. 415-431
• 
  Fabian Büttner, Marina Egea, Jordi Cabot: On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. 432-448

Model Testing and Simulation

• 
  Carlos A. González, Jordi Cabot: ATLTest: A White-Box Test Generation Approach for ATL Transformations. 449-464
• 
  Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae: Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. 465-479
• 
  El Arbi Aboussoror, Ileana Ober, Iulian Ober: Seeing Errors: Model Driven Simulation Trace Visualization. 480-496

Software Product Lines II

• 
  Razieh Behjati, Tao Yue, Lionel C. Briand: A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. 497-513
• 
  Yihan Wu, Gang Huang, Hui Song, Ying Zhang: Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. 514-530
• 
  Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner: Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. 531-545

Model Transformation

• 
  Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui: Generation of Operational Transformation Rules from Examples of Model Transformations. 546-561
• 
  Vincent Aranega, Anne Etien, Sébastien Mosser: Using Feature Model to Build Model Transformation Chains. 562-578
• 
  Gerd Kainz, Christian Buckl, Alois Knoll: A Generic Approach Simplifying Model-to-Model Transformation Chains. 579-594

Model Matching, Tracing and Synchronization

• 
  Gunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow: An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling. 595-608
• 
  Birgit Grammel, Stefan Kastenholz, Konrad Voigt: Model Matching for Trace Link Generation in Model-Driven Software Development. 609-625
• 
  Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer: Matching Business Process Workflows across Abstraction Levels. 626-641

Modeling Methods and Tools II

• 
  Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand: Experiences of Applying UML/MARTE on Three Industrial Projects. 642-658
• 
  Sagar Sunkle, Vinay Kulkarni: Cost Estimation for Model-Driven Engineering. 659-675
• 
  Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos José Pereira de Lucena: Evaluating the Effort of Composing Design Models: A Controlled Experiment. 676-691

Modeling Practices and Experience I

• 
  Jorge Aranda, Daniela Damian, Arber Borici: Transition to Model-Driven Engineering - What Is Revolutionary, What Remains the Same? 692-708
• 
  Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig: Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions. 709-725
• 
  Shaukat Ali, Tao Yue, Lionel C. Briand, Suneth Walawege: A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. 726-742

Model Analysis

• 
  James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack: Sensitivity Analysis in Model-Driven Engineering. 743-758
• 
  Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand: Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. 759-775

Modeling Practices and Experience II

• 
  Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker: Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. 776-792
• 
  Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue: Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. 793-809
• 
  Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli: An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. 810-826

last updated on Sat May 25 05:23:51 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page