Abstract is missing.
- Modeling for Robotic Co-WorkingUwe Assmann. 5
- Domain-Specific Modelling Languages: Challenges and OpportunitiesJuan de Lara. 7
- The Use of Model-driven Engineering for Crisis ManagementFrédérick Bénaben. 9
- Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product LinesFelix Schwägerl, Bernhard Westfechtel. 15-28 [doi]
- Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded SystemsVladimir Estivill-Castro, René Hexel. 29-40 [doi]
- Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering ApproachFazle Rabbi, Lars Michael Kristensen, Yngve Lamo. 41-52 [doi]
- Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool CapabilitiesThorsten Koch, Jörg Holtmann, Timo Lindemann. 53-64 [doi]
- Towards Sharable Application Ontologies for the Automatic Generation of UIs for Dialog based Linked Data ApplicationsMichael Hitz, Thomas Kessel, Dennis Pfisterer. 65-77 [doi]
- Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System DesignDaniela Genius, Letitia W. Li, Ludovic Apvrille. 78-89 [doi]
- On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution ApproachesJuergen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger. 90-99 [doi]
- An Exploration of the 'It' in 'It Depends': Generative versus Interpretive Model-Driven DevelopmentMichiel Overeem, Slinger Jansen. 100-111 [doi]
- Testing Environment Emulation - A Model-based ApproachJian Liu, John C. Grundy, Mohamed Abdelrazek, Iman Avazpour. 112-124 [doi]
- SMART REIFIER: Model-Driven Development of Service-Oriented SCADA Applications from Models of Sensor and Actuator NetworksJérôme Rocheteau, Clémentine Geslin, Margaux Bosshardt. 125-136 [doi]
- CloudTL: A New Transformation Language based on Big Data Tools and the CloudJesús M. Perera Aracil, Diego Sevilla Ruiz. 137-146 [doi]
- Language Architecture: An Architecture Language for Model-Driven EngineeringNiels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo. 147-156 [doi]
- A Domain-aware Framework for Integrated Model-based System Analysis and DesignAdrian Rumpold, Reinhard Pröll, Bernhard Bauer. 157-168 [doi]
- The Power of a Model-Driven Approach to Handle Evolving Data Warehouse RequirementsSaïd Taktak, Saleh Alshomrani, Jamel Feki, Gilles Zurfluh. 169-181 [doi]
- Distributing Scenario-based Models: A Replicate-and-Project ApproachShlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron. 182-195 [doi]
- XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information SystemsAndré Reis, Alberto Rodrigues da Silva. 196-207 [doi]
- Complete Code Generation from UML State MachineVan Cam Pham, Ansgar Radermacher, Sébastien Gérard, Shuai Li. 208-219 [doi]
- An MDE Approach to Generate Schemas for Object-document MappersDiego Sevilla, Severino Feliciano Morales, Jesús García Molina. 220-228 [doi]
- Model Driven Implementation of Security Management ProcessBruno Augusti Mozzaquatro, Ricardo Jardim-Gonçalves, Carlos Agostinho. 229-238 [doi]
- Process Development for the Liquid-sensing EnterpriseCarlos Agostinho, José Ferreira, Joaquim Pereira, Catarina Lucena, Klaus Fischer. 239-249 [doi]
- On using Sarkar Metrics to Evaluate the Modularity of MetamodelsGeorg Hinkel, Misha Strittmatter. 253-260 [doi]
- ATL Transformation of Queueing Networks to Queueing Petri NetsIssam Al-Azzoni. 261-268 [doi]
- World Wide Modeling Made Easy - A Simple, Lightweight Model ServerOlivier Le Goaer, Eric Cariou, Franck Barbier. 269-276 [doi]
- UI-GEAR: User Interface Generation prEview capable to Adapt in Real-timeJenny Ruiz, Estefanía Serral, Monique Snoeck. 277-284 [doi]
- Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core SystemsJohannes Geismann, Uwe Pohlmann, David Schmelter. 285-292 [doi]
- SEMF - The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems EngineeringTobias Hoppe, Harald Eisenmann, Alexander Viehl, Oliver Bringmann. 293-301 [doi]
- Security-aware Modeling and Analysis for HW/SW PartitioningLetitia W. Li, Florian Lugou, Ludovic Apvrille. 302-311 [doi]
- Prevent Collaboration Conflicts with Fine Grained Pessimistic LockingMartin Eyl, Clemens Reichmann, Klaus D. Müller-Glaser. 312-319 [doi]
- Model-to-Model based Approach for Software Component Allocation in Embedded SystemsLujain Al-Dakheel, Issam Al-Azzoni. 320-328 [doi]
- Creating and Analyzing Source Code Repository Models - A Model-based Approach to Mining Software RepositoriesMarkus Scheidgen, Martin Schmidt, Joachim Fischer. 329-336 [doi]
- Automating the Customization of Model-Driven Software Engineering EnvironmentsCésar Cuevas Cuesta, Patricia López Martínez, José M. Drake. 337-344 [doi]
- Integrating Interface Modeling and Analysis in an Industrial SettingIvan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman. 345-352 [doi]
- Creating User-specific Business Process Monitoring Dashboards with a Model-driven ApproachMaximilien Kintz, Monika Kochanowski, Falko Koetter. 353-361 [doi]
- Realizing Multi-variant Model Transformations on Top of Reused ATL SpecificationsSandra Greiner, Felix Schwägerl, Bernhard Westfechtel. 362-373 [doi]
- A Domain-specific Language for Configurable Traceability AnalysisHendrik Bünder, Christoph Rieger, Herbert Kuchen. 374-381 [doi]
- Architecture Descriptions of Software Systems: Complex Connectors vs RealisabilityMert Ozkaya. 382-391 [doi]
- Model-driven Approach for Privacy Management in Business EcosystemChristophe Feltus, Eric Grandry, Thomas Kupper, Jean-Noël Colin. 392-400 [doi]
- Model Execution and Debugging - A Process to Leverage Existing ToolsFaiez Zalila, Eric Jenn, Marc Pantel. 401-408 [doi]
- An Approach to Pruning Metamodels like UMLZhiyi Ma. 409-417 [doi]
- A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and OptimizationAlexander Wichmann, Ralph Maschotta, Francesco Bedini, Sven Jäger, Armin Zimmermann. 418-426 [doi]
- Modelling Behavioural Requirements and Alignment with Verification in the Embedded IndustryGrischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy. 427-434 [doi]
- Supporting Software Architecture Evolution by Functional DecompositionDavid Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz. 435-442 [doi]
- A Model-Driven fUML Execution Engine for C++Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Sven Jäger, Armin Zimmermann. 443-450 [doi]
- The Integration of Agile Development and Model Driven Development - A Systematic Literature ReviewHessa Alfraihi, Kevin Lano. 451-458 [doi]
- Use of Architecture Description to Maintain Consistency in Agile ProcessesAurélien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, François Terrier. 459-466 [doi]
- Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling LanguageJoão L. R. Moreira, Luís Ferreira Pires, Marten van Sinderen, Patricia Dockhorn Costa. 467-477 [doi]
- Axioms of Linguistic ArchitectureMarcel Heinz, Ralf Lämmel, Andrei Varanovich. 478-486 [doi]
- Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sebastien Gerard, Walid Gaaloul, Samir Tata. 487-495 [doi]
- Measuring the Evolution of Meta-models - A Case Study of Modelica and UML Meta-modelsMaxime Jimenez, Darko Durisic, Miroslaw Staron. 496-502 [doi]
- Towards Meta-adaptation of Dynamic Adaptive Systems with Models@RuntimeNicolas Ferry, Franck Chauvel, Hui Song, Arnor Solberg. 503-508 [doi]
- On using Colors in UML ModelsGefei Zhang. 509-514 [doi]
- Consistent Projectional Text EditorsS. M. Guttormsen, A. Prinz, T. Gjøsæter. 515-522 [doi]
- Model-driven Engineering for the Configuration and Deployment of Data Processing ApplicationsHui Song, Nicolas Ferry, Jakob Høgenes, Arnor Solberg. 523-528 [doi]
- Security Requirements Verification for Existing Systems with Model Checking Technique and UMLSaeko Matsuura, Shinpei Ogata, Yoshitaka Aoki. 529-535 [doi]
- Towards Effective SysML Model ReuseRoy Mendieta, Jose Luis de la Vara, Juan Llorens Morillo, Jose María Álvarez Rodríguez. 536-541 [doi]
- Explicit Control of Dataflow Graphs with MARTE/CCSLJean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frédéric Mallet, Robert de Simone. 542-549 [doi]
- Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?Noura Azaiez, Jalel Akaichi. 550-555 [doi]
- Towards Including Layout Properties for Modeling Graphical User Interfaces - Generic Properties for GUI MetamodelsSarra Roubi, Mohammed Erramdani, Samir Mbarki. 556-560 [doi]
- Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation LocalityFilip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Frantisek Plasil. 561-568 [doi]
- Towards User-centric DSLs to Manage IoT SystemsMoussa Amrani, Fabian Gilson, Abdelmounaim Debieche, Vincent Englebert. 569-576 [doi]
- Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with CiscoShaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue. 581-589 [doi]
- Practical Large-scale Model-Driven Development of Business Applications with an Executable UMLDragan Milicev. 590-604 [doi]
- A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-makingSouvik Barat, Vinay Kulkarni, Tony Clark, Balbir Barn. 605-616 [doi]
- Towards Automated Generation of Regulation Rule Bases using MDADeepali Kholkar, Sagar Sunkle, Vinay Kulkarni. 617-628 [doi]
- Objecting to the Revolution: Model-Based Engineering and the Industry - Root Causes Beyond Classical Research TopicsGerald Stieglbauer, Igor Roncevic. 629-639 [doi]
- Combining Techniques to Verify Service-based ComponentsPascal André, Christian Attiogbé, Jean-Marie Mottu. 645-656 [doi]
- Concurrent History-based Usage Control PoliciesFabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino. 657-666 [doi]
- Validating TOSCA Application TopologiesAntonio Brogi, Antonio Di Tommaso, Jacopo Soldani. 667-678 [doi]
- Enhancing Models Correctness through Formal Verification: A Case Study from the Railway DomainDavide Basile, Felicita Di Giandomenico, Stefania Gnesi. 679-686 [doi]