8. ECMFA 2012: Lyngby, Denmark

• Ed Seidewitz:
  Executable UML: From Multi-domain to Multi-core. 1
  
• Henrik Lönn:
  Models Meeting Automotive Design Challenges. 2-3
  
• Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien:
  A Commutative Model Composition Operator to Support Software Adaptation. 4-19
  
• Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig:
  Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings. 20-31
  
• Mirco Kuhlmann, Martin Gogolla:
  Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. 32-48
  
• Maged Elaasar, Yvan Labiche:
  Model Interchange Testing: A Process and a Case Study. 49-61
  
• Thomas Goldschmidt, Wolfgang Mahnke:
  An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters. 62-73
  
• Lionel C. Briand, Yvan Labiche, Yanhua Liu:
  Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. 74-89
  
• Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel:
  Model Transformations for Migrating Legacy Models: An Industrial Case Study. 90-101
  
• István Ráth, Ábel Hegedüs, Dániel Varró:
  Derived Features for EMF by Integrating Advanced Model Queries. 102-117
  
• Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige:
  A Lightweight Approach for Managing XML Documents with MDE Languages. 118-132
  
• Tao Yue, Shaukat Ali:
  Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. 133-145
  
• Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens:
  Badger: A Regression Planner to Resolve Design Model Inconsistencies. 146-161
  
• Gefei Zhang:
  Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines. 162-177
  
• Rolf-Helge Pfeiffer, Andrzej Wasowski:
  TexMo: A Multi-language Development Environment. 178-193
  
• Colin Atkinson, Ralph Gerbig, Bastian Kennel:
  On-the-Fly Emendation of Multi-level Models. 194-209
  
• Jan Rieke, Oliver Sudmann:
  Specifying Refinement Relations in Vertical Model Transformations. 210-225
  
• Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand:
  Model-Based Automated and Guided Configuration of Embedded Software Systems. 226-243
  
• Fabian Büttner, Jordi Cabot:
  Lightweight String Reasoning for OCL. 244-258
  
• Juan de Lara, Esther Guerra:
  Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. 259-274
  
• Gabor Batori, Zoltan Theisz, Domonkos Asztalos:
  Metamodel Based Methodology for Dynamic Component Systems. 275-286
  
• Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr:
  Bidirectional Model Transformation with Precedence Triple Graph Grammars. 287-302
  
• Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren:
  A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. 303-318
  
• Petr Smolik, Pavel Vitkovsky:
  Code Generation Nirvana. 319-327
  
• Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King:
  A Plug-in Based Approach for UML Model Simulation. 328-339
  
• Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos:
  MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. 340-351
  
• Ning Ge, Marc Pantel:
  Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. 352-367
  
• Gergely Varró, Anthony Anjorin, Andy Schürr:
  Unification of Compiled and Interpreter-Based Pattern Matching Techniques. 368-383
  
• Lars Hamann, Oliver Hofrichter, Martin Gogolla:
  OCL-Based Runtime Monitoring of Applications with Protocol State Machines. 384-399
  
• Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel:
  On Model Subtyping. 400-415
  
• Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall:
  BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer. 416-427
  
• Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith:
  Solving Acquisition Problems Using Model-Driven Engineering. 428-443
  

Last update Sat May 25 17:47:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page