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