Abstract is missing.
- Model-centric Assumption Promise SpecificationManfred Broy. 5
- The Role of Models in the Automated Integration of Service-oriented Software SystemsPaola Inverardi. 7
- Making Model-Driven Verification Practical and Scalable - Experiences and Lessons LearnedLionel C. Briand. 9
- Bidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source CodeSandra Greiner, Thomas Buchmann, Bernhard Westfechtel. 15-27 [doi]
- Survey on Textual Notations for the Unified Modeling LanguageStephan Seifermann, Henning Groenda. 28-39 [doi]
- Generating Metamodel Instances Satisfying Coverage Criteria via SMT SolvingHao Wu. 40-51 [doi]
- A Controlled Experiment for Evaluating the Comprehensibility of UML Action LanguagesOmar Badreddin, Maged Elaasar, Wahab Hamou-Lhadj. 52-64 [doi]
- Modelling Business Process Variants using Graph Transformation RulesChristine Natschläger, Verena Geist, Christa Illibauer, Robert Hutter. 65-74 [doi]
- Choreography Modelling in Embedded Systems Domain - Requirements and Implementation TechnologiesNebojaa Tauaan, Jouni Markkula, Pasi Kuvaja, Markku Oivo. 75-86 [doi]
- WebDPF: A Web-based Metamodelling and Model Transformation EnvironmentFazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen. 87-98 [doi]
- Formal MOF Metamodeling and Tool SupportLiliana Favre, Daniel Duarte. 99-110 [doi]
- K: A Wide Spectrum Language for Modeling, Programming and AnalysisKlaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement. 111-122 [doi]
- Automating Activities in MDE ToolsMiguel Andrés Gamboa, Eugene Syriani. 123-133 [doi]
- MOF-VM: Instantiation RevisitedTerje Gjøsæter, Andreas Prinz, Jan Pettersen Nytun. 137-144 [doi]
- An Empirical Study on the Perception of Metamodel QualityGeorg Hinkel, Max E. Kramer, Erik Burger, Misha Strittmatter, Lucia Happe. 145-152 [doi]
- Supporting CRUD Model Operations from EOL to SQLXabier De Carlos, Goiuria Sagardui, Salvador Trujillo. 153-160 [doi]
- Extending Graphical Part of the Interaction Flow Modeling Language to Generate Rich Internet Graphical User InterfacesSarra Roubi, Mohammed Erramdani, Samir Mbarki. 161-167 [doi]
- Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of RequirementsGrischa Liebel, Andreea Olaru, Henrik Lönn, Henrik Kaijser, Sunith Rajendran, Urban Ingelsson, Richard Berntsson-Svensson. 168-175 [doi]
- Systematic Mapping Study of Model Transformations for Concrete ProblemsEdouard Batot, Houari Sahraoui, Eugene Syriani, Paul Molins, Wael Sboui. 176-183 [doi]
- SCDML: A Language for Conceptual Data Modeling in Model-based Systems EngineeringChristian Hennig, Tobias Hoppe, Harald Eisenmann, Alexander Viehl, Oliver Bringmann. 184-192 [doi]
- Towards a Common Understanding of Business Process Instance DataNima Moghadam, Hye-Young Paik. 193-200 [doi]
- Translating Task Models to State MachinesAndreas Wagner, Christian Prehofer. 201-208 [doi]
- Towards Distributed Ecore ModelsJesús M. Perera Aracil, Diego Sevilla Ruiz. 209-216 [doi]
- A MOF-based Social Web Services Description MetamodelAmel Benna, Zakaria Maamar, Mohamed Ahmed-Nacer. 217-224 [doi]
- Change Rule Execution Scheduling in Incremental Roundtrip Engineering Chain: From Model-to-Code and BackVan Cam Pham, Ansgar Radermacher, Sébastien Gérard, Florian Noyrit. 225-232 [doi]
- Comparing ConDec to CMMN - Towards a Common Language for Flexible ProcessesRenata M. de Carvalho, Hafedh Mili, Javier Gonzalez-Huerta, Anis Boubaker, Abderrahmane Leshob. 233-240 [doi]
- Automating the Construction of Models based on Domain ViewsCésar Cuevas Cuesta, Patricia López Martínez, José M. Drake. 241-249 [doi]
- Enabling Data Flows in UML InteractionsMarc-Florian Wendland, Ramon Barakat, Martin A. Schneider. 250-257 [doi]
- Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded SoftwareAlper Tolga Kocatas, Mustafa Can, Ali Dogru. 258-265 [doi]
- A New Methodology CIM to PIM Transformation Resulting from an Analytical SurveyYassine Rhazali, Youssef Hadi, Abdelaziz Mouloudi. 266-273 [doi]
- Multi-level Dynamic Instantiation for Resolving Node-edge DichotomyZoltan Theisz, Gergely Mezei. 274-281 [doi]
- Umple as a Component-based Language for the Development of Real-time and Embedded ApplicationsMahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy Lethbridge. 282-291 [doi]
- Abstracting Data and Image Processing Systems using a Component-based Domain Specific LanguageThomas Hoegg, Christian Koehler, Andreas Kolb. 292-300 [doi]
- The EMF Parsley DSL for Developing EMF ApplicationsLorenzo Bettini. 301-308 [doi]
- An EMF-like UML Generator for C++Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, Armin Zimmermann. 309-316 [doi]
- Addressing the Need for Strict Meta-modeling in Practice - A Case Study of AUTOSARDarko Durisic, Miroslaw Staron, Matthias Tichy, Jörgen Hansson. 317-322 [doi]
- Comparative Analysis of Workbenches to Support DSMLs: Discussion with Non-Trivial Model-Driven Development NeedsAndré Ribeiro, Luís de Sousa, Alberto Rodrigues da Silva. 323-330 [doi]
- SysML Models and Model Transformation for SecurityFlorian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa. 331-338 [doi]
- Evaluating the Cloud Architecture of AToMPMJonathan Corley, Eugene Syriani, Hüseyin Ergin. 339-346 [doi]
- Model-Driven Product Line Engineering for Mapping Parallel Algorithms to Parallel Computing PlatformsEthem Arkin, Bedir Tekinerdogan. 347-354 [doi]
- Towards a Model Transformation Tool on the Top of the OpenCL FrameworkTamás Fekete, Gergely Mezei. 355-360 [doi]
- Towards Statistical Comparison and Analysis of ModelsÖnder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand. 361-367 [doi]
- Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC FrameworkPaola Giannini, Anna-Lena Lamprecht, Tiziana Margaria. 368-376 [doi]
- Modelling CAD Models - Method for the Model Driven Design of CAD Models for Deep Drawing ToolsRobert Scheffler, Sergej Koch, Gregor Wrobel, Matthias Pleßow, Christian Buse, Bernd-Arno Behrens. 377-383 [doi]
- ReIOS: Reflective Architecting in the Internet of ObjectsMarina Mongiello, Gennaro Boggia, Eugenio Di Sciascio. 384-389 [doi]
- ImocaGen: A Model-based Code Generator for Embedded Systems TuningGoulven Guillou, Jean-Philippe Babau. 390-396 [doi]
- A Demonstration of Compilability for UML Template InstancesJosé Farinha. 397-404 [doi]
- Towards Executable UML Interactions based on fUMLMarc-Florian Wendland. 405-411 [doi]
- Towards Hybrid Semantics of Enterprise Modeling LanguagesRichard Braun, Werner Esswein. 412-420 [doi]
- Towards a Hybrid Semi-automatic Technique for Metamodel MatchingLamine Lafi, Jamel Feki, Slimane Hammoudi. 421-426
- Modelling of Systems for RealJoachim Fischer, Birger Møller-Pedersen, Andreas Prinz. 427-434 [doi]
- An Approach to Class Diagrams Verification According to SOLID Design PrinciplesElena Chebanyuk, Krassimir Markov. 435-441 [doi]
- Flexible Component Composition through Communication AbstractionFabian Gilson, Vincent Englebert. 442-449 [doi]
- Model-driven Approach for Verifying Conformity of Models in the Presence of ConstraintsCésar Cuevas Cuesta, Patricia López Martínez, José M. Drake. 455-466 [doi]
- Towards Flexibility in Business Processes by Mining Process Patterns and Process InstancesAndreas Bögl, Christine Natschläger, Verena Geist. 469-476 [doi]
- Data Integration between Objectiver and DB-Main: A Case Study of a Model-Driven Interoperability BridgeFrancisco Javier Bermudez Ruiz, Jesús Joaquín García Molina, Oscar Díaz García. 477-488 [doi]
- Deriving Software Design Models from a Set of Business ProcessesEstrela Ferreira Cruz, Ricardo J. Machado, Maribel Yasmina Santos. 489-496 [doi]
- A Methodology for Deriving Conceptual Data Models from Systems Engineering ArtefactsChristian Hennig, Harald Eisenmann, Alexander Viehl, Oliver Bringmann. 497-508 [doi]
- A Categorization of GSN-based Safety Cases and PatternsYaping Luo, Zhuoao Li, Mark van den Brand. 509-516 [doi]
- EXE-SPEM: Towards Cloud-based Executable Software Process ModelsSami Alajrami, Barbara Gallina, Alexander Romanovsky. 517-526 [doi]
- Automated Quality Analysis of Software Engineering Method ModelsMasud Fazal-Baqaie, Frank Kluthe. 527-534 [doi]
- XIS-CMS: Towards a Model-Driven Approach for Developing Platform-Independent CMS-Specific ModulesPaulo Filipe, André Ribeiro, Alberto Rodrigues da Silva. 535-543 [doi]
- A Data Extraction Process for Avionics Systemsl Interface SpecificationsHassna Louadah, Roger Champagne, Yvan Labiche, Yann-Gaël Guéhéneuc. 544-554 [doi]
- Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition ModelsGurvan Le Guernic. 555-562 [doi]
- An Empirical Study on the Impact of Scrumban on Geographically Distributed Software DevelopmentAhmad Banijamali, Research Dawadi, Muhammad Ovais Ahmad, Jouni Similä, Markku Oivo, Kari Liukkunen. 567-577 [doi]
- Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java CodeDan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs 0002, Anton Wijs. 578-588 [doi]
- UML Associations - Reducing the Gap in Test Coverage between Model and CodeAnders Eriksson, Birgitta Lindström. 589-599 [doi]
- An Initial Wise Development Environment for Behavioral ModelsDavid Harel, Guy Katz, Rami Marelly, Assaf Marron. 600-612 [doi]
- From Model to Rig - An Automotive Case StudyJosefine Södling, Rikard Ekbom, Peter Thorngren, Håkan Burden. 615-622 [doi]
- Generic and Distributed Runtime Environment for Model-driven Game DevelopmentSebastian Apel, Volkmar Schau. 623-630 [doi]
- Design of a Simulation Framework for Model-based LearningSarah Zribi, Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Tom Jorquera, Jean-Pierre Lorré. 631-639 [doi]
- Exchanging Solutions for Information Systems Development using a Model Pattern Perspective - Diagram Templates in the Context of the Mdarte Collaborative Evolution ProcessRodrigo Salvador Monteiro, Geraldo Zimbrão, Jano Moreira de Souza. 640-647 [doi]
- Virtual Worlds on Demand? Model-Driven Development of JavaScript-based Virtual World UI Components for Mobile AppsMatthias Stürner, Philipp Brune. 648-655 [doi]
- Comparing System- and Test Model with Integrated Software-based Signal SimulationAndreas Kurtz, Bernhard Bauer, Marcel Koeberl. 656-662 [doi]
- World Model for Testing Urban Search and Rescue (USAR) Robots using Petri NetsAnneliese Amschler Andrews, Mahmoud Abdelgawad, Ahmed Gario. 663-670 [doi]
- Model-driven Engineering Tool Comparison for Architectures within Heterogenic Systems for Electric VehicleSebastian Apel, Marianne Mauch, Volkmar Schau. 671-676 [doi]
- What is Software Architecture to Practitioners: A SurveyMert Ozkaya. 677-686 [doi]
- Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical SystemTao Yue, Shaukat Ali, Hong Lu, Kunming Nie. 691-703 [doi]
- Modeling and Analysis of Automotive Systems: Current Approaches and Future TrendsPaolo Giusto, Ramesh S., Sudhakaran M.. 704-710 [doi]
- Model-Driven Development Challenges and Solutions - Experiences with Domain-Specific Modelling in IndustryJuha-Pekka Tolvanen, Steven Kelly. 711-719 [doi]
- Process Oriented Learning and Training - A Model-based Approach in Learn PAdRobert Woitsch, Nesat Efendioglu, Damiano Falcioni. 725-733 [doi]
- A Learning Architecture for Complex OrganizationFrancesco Basciani, Gianni Rosa. 734-742 [doi]
- Model-based Learning Assessment ManagementAntonello Calabrò, Francesca Lonetti, Eda Marchetti, Sarah Zribi, Tom Jorquera. 743-752 [doi]
- Workplace Learning - Providing Recommendations of Experts and Learning Resources in a Context-sensitive and Personalized Manner - An Approach for Ontology Supported Workplace LearningSandro Emmenegger, Knut Hinkelmann, Emanuele Laurenzi, Barbara Thönssen, Hans Friedrich Witschel, Congyu Zhang. 753-763 [doi]
- Culture Contextualization in Open e-Learning Systems - Improving the Re-use of Open Knowledge Resources by Adaptive Contextualization ProcessesJulia Stoffregen, Jan M. Pawlowski. 767-774 [doi]
- An Ontology-based Security Framework for Decision-making in Industrial SystemsBruno Augusti Mozzaquatro, Raquel Melo, Carlos Agostinho, Ricardo Jardim-Gonçalves. 779-788 [doi]
- Model-driven Approach for the Interoperability of Enterprisesr Services Information ExchangeCatarina Marques-Lucena, João Sarraipa, Carlos Agostinho, Ricardo Jardim-Gonçalves. 789-799 [doi]
- Performance Monitoring Framework for Service Oriented System LifecycleTehreem Masood, Chantal Cherifi, Néjib Moalla. 800-806 [doi]