Abstract is missing.
- Building Advanced Mechatronic SystemsWilhelm Schäfer. 1-2 [doi]
- Contracts for Model Execution VerificationEric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. 3-18 [doi]
- A FUML-Based Distributed Execution Machine for Enacting Software Process ModelsRalf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips, Michael Philippsen. 19-34 [doi]
- A Generic Tool for Tracing Executions Back to a DSML s Operational SemanticsBenoît Combemale, Laure Gonnord, Vlad Rusu. 35-51 [doi]
- Incremental Security Verification for Evolving UMLsec modelsJan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt. 52-68 [doi]
- Assessing the Kodkod Model Finder for Resolving Model InconsistenciesRagnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens. 69-84 [doi]
- Operation Based Model Representation: Experiences on Inconsistency DetectionJerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc. 85-96 [doi]
- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysMLPietro Colombo, Ferhat Khendek, Luigi Lavazza. 97-114 [doi]
- Automated Transition from Use Cases to UML State Machines to Support State-Based TestingTao Yue, Shaukat Ali, Lionel C. Briand. 115-131 [doi]
- Transformation Rules for Translating Business Rules to OCL ConstraintsImran Sarwar Bajwa, Mark G. Lee. 132-143 [doi]
- Preventing Information Loss in Incremental Model Synchronization by Reusing ElementsJoel Greenyer, Sebastian Pook, Jan Rieke. 144-159 [doi]
- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse PlatformGuillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee. 160-171 [doi]
- Incremental Updates for View-Based Textual ModellingThomas Goldschmidt, Axel Uhl. 172-188 [doi]
- Easing Model Transformation Learning with Automatically Aligned ExamplesXavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister. 189-204 [doi]
- Code Generation for UML 2 Activity Diagrams - Towards a Comprehensive Model-Driven Development ApproachDominik Gessenharter, Martin Rauscher. 205-220 [doi]
- ::::Tract::::able Model Transformation TestingMartin Gogolla, Antonio Vallecillo. 221-235 [doi]
- Extending SysML with AADL Concepts for Comprehensive System Architecture ModelingRazieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic. 236-252 [doi]
- Analyzing Variability: Capturing Semantic Ripple EffectsAndreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. 253-269 [doi]
- Integrating Design and Runtime Variability Support into a System ADLMarie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau. 270-281 [doi]
- Domain-Specific Model Verification with QVTMaged Elaasar, Lionel C. Briand, Yvan Labiche. 282-298 [doi]
- A SysML Profile for Development and Early Validation of TLM 2.0 ModelsVaibhav Jain, Anshul Kumar, Preeti Ranjan Panda. 299-311 [doi]
- Taming the Confusion of LanguagesRolf-Helge Pfeiffer, Andrzej Wasowski. 312-328 [doi]
- Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with MiradorStephen Barrett, Patrice Chalin, Greg Butler. 329-344 [doi]
- Improving Naming and Grouping in UMLAntonio Vallecillo. 345-360 [doi]
- Aspect-Oriented Model Development at Different Levels of AbstractionMauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang. 361-376 [doi]
- MBSDI 2011 3rd International Workshop on Model-Based Software and Data IntegrationRalf-Detlef Kutsche, Nikola Milanovic. 377-378 [doi]
- MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and OptimizationJordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet Del Fabro, Scott Uk-Jin Lee. 379-380 [doi]
- The Third Workshop on Behaviour Modelling - Foundations and ApplicationsElla E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit. 381-382 [doi]
- Process-Centred Approaches for Model-Driven Engineering (PMDE) - First EditionReda Bendraou, Rédouane Lbath, Bernard Coulette, Marie-Pierre Gervais. 383-384 [doi]
- Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)Goetz Botterweck, Andreas Pleuss, Julia Rubin, Christa Schwanninger. 385-386 [doi]
- Agile Development with Domain Specific LanguagesBernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller. 387-388 [doi]
- Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQueryGábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró. 389-390 [doi]
- Integrated Model Management with EpsilonDimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams. 391-392 [doi]
- Creating Domain-Specific Modelling Languages That Work: Hands-OnJuha-Pekka Tolvanen. 393-394 [doi]