Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th MODELSWARD 2018: Funchal, Portugal
- Slimane Hammoudi, Luís Ferreira Pires, Bran Selic:
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018. SciTePress 2018, ISBN 978-989-758-283-7
Invited Speakers
- Franck Barbier:
Designing 3D Video Games with Models at Run-time. MODELSWARD 2018: 5 - Bernhard Rumpe:
Engineering Software Languages for the Digital World. MODELSWARD 2018: 7 - David Harel:
Languages for Programming - From Punched Cards to Wise Computing. MODELSWARD 2018: 9
Papers
- David Sferruzza, Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix:
A Model-Driven Method for Fast Building Consistent Web Services in Practice. 15-24 - Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel:
A Model Compilation Approach for Optimized Implementations of Signal-processing Systems. 25-35 - Sandra Greiner, Bernhard Westfechtel:
Generating Multi-Variant Java Source Code Using Generic Aspects. 36-47 - Georg Hinkel, Misha Strittmatter:
Predicting the Perceived Modularity of MOF-based Metamodels. 48-58 - Jonathan Pepin, Pascal André, J. Christian Attiogbé
, Erwan Breton:
Virtual Extension of Meta-models with Facet Tools. 59-70 - Henning Agt-Rickauer, Ralf-Detlef Kutsche, Harald Sack:
DoMoRe - A Recommender System for Domain Modeling. 71-82 - Bahram Zarrin, Hubert Baumeister:
An Integrated Framework to Specify Domain-Specific Modeling Languages. 83-94 - Jenny Ruiz, Estefanía Serral, Monique Snoeck:
A Fully Implemented Didactic Tool for the Teaching of Interactive Software Systems. 95-105 - Frédéric Verdier, Abdelhak-Djamel Seriai, Raoul Taffo Tiam:
Reusing Platform-specific Models in Model-Driven Architecture for Software Product Lines. 106-116 - Wasim Said, Jochen Quante, Rainer Koschke:
Towards Interactive Mining of Understandable State Machine Models from Embedded Software. 117-128 - Maged Elaasar, Florian Noyrit, Omar Badreddin, Sébastien Gérard:
Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints. 129-138 - Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler:
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. 139-151 - Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Static Analysis of Conformance Preserving Model Transformation Rules. 152-162 - Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern:
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology. 163-178 - Kai Adam, Arvid Butting, Oliver Kautz, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann:
Retrofitting Type-safe Interfaces into Template-based Code Generators. 179-190 - Markus Hochstrasser, Stephan Myschik, Florian Holzapfel:
A Process-oriented Build Tool for Safety-critical Model-based Software Development. 191-202 - Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina:
Cost-aware Scheduling of Software Processes Execution in the Cloud. 203-212 - Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva:
Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests. 213-224 - Mustafa Al-tekreeti, Kshirasagar Naik, Atef Abdrabou, Marzia Zaman, Pradeep Srivastava:
Test Generation for Performance Evaluation of Mobile Multimedia Streaming Applications. 225-236 - Rayhana Baghli, Elie Najm, Bruno Traverson:
Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators. 237-246 - Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge:
Component-based Modeling in Umple. 247-255 - Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern:
Fast Simulation Preorder Algorithm. 256-267 - Stefan Schönig, Lars Ackermann, Stefan Jablonski:
Towards an Implementation of Data and Resource Patterns in Constraint-based Process Models. 271-278 - Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger:
Qualitative Simulation of Hybrid Systems with an Application to SysML Models. 279-286 - Letitia W. Li, Florian Lugou, Ludovic Apvrille:
Evolving Attacker Perspectives for Secure Embedded System Design. 287-294 - Daniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi:
Multi-level Latency Evaluation with an MDE Approach. 295-302 - Georg Hinkel, Kiana Busch, Robert Heinrich:
Refinements and Structural Decompositions in Generated Code. 303-310 - Markus Fockel, Jörg Holtmann, Thorsten Koch, David Schmelter:
Formal, Model- and Scenario-based Requirement Patterns. 311-318 - Bahram Zarrin, Hubert Baumeister, Hessam S. Sarjoughian:
Towards Domain-specific Flow-based Languages. 319-325 - Thomas Buchmann, Sandra Greiner:
Managing Variability in Models and Derived Artefacts in Model-driven Software Product Lines. 326-335 - Thomas Buchmann:
BXtend - A Framework for (Bidirectional) Incremental Model Transformations. 336-345 - Mert Ozkaya:
Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions. 346-355 - Zhiyi Ma, Huihong He, Jinyang Liu, Xiao He:
Analysis of the Evolution of the UML Metamodel. 356-363 - Vladimir Estivill-Castro, René Hexel:
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. 364-371 - Sema Çam, Orçun Dayibas, Bilge Kaan Görür, Halit Oguztüzün, Levent Yilmaz, Sritika Chakladar, Kyle Doud, Alice E. Smith, Alejandro Teran-Somohano:
Supporting Simulation Experiments with Megamodeling. 372-378 - Tian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernández, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka, Atsuo Hazeyama:
Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services. 379-386 - Christoph Rieger, Martin Westerkamp, Herbert Kuchen:
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. 387-395 - Jennifer Brings, Marian Daun, Constantin Hildebrandt, Sebastian Törsleff:
An Ontological Context Modeling Framework for Coping with the Dynamic Contexts of Cyber-physical Systems. 396-403 - Burak Uzun, Bedir Tekinerdogan:
Model Driven Architecture based Testing Tool based on Architecture Views. 404-410 - Önder Babur:
Clone Detection for Ecore Metamodels using N-grams. 411-419 - Andreas Wagner, Christian Prehofer:
Translating Multi-device Task Models to State Machines. 420-428 - Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
Can Abstraction Be Taught? Refactoring-based Abstraction Learning. 429-437 - Martin Beckmann, Thomas Karbe, Andreas Vogelsang:
Information Extraction from High-level Activity Diagrams to Support Development Tasks. 438-445 - Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand:
Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository. 446-453 - Chris Partridge, Sergio de Cesare, Andrew Mitchell, Ana León, Frederik Gailly, Mesbah Khan:
Ontology then Agentology: A Finer Grained Framework for Enterprise Modelling. 454-463 - Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann:
A C++ Implementation of UML Subsets and Unions for MDE. 464-471 - Paulo J. M. de Araújo, Ana C. R. Paiva:
Pattern based Web Security Testing. 472-479 - Adrian Hernandez-Mendez, Niklas Scholz, Florian Matthes:
A Model-driven Approach for Generating RESTful Web Services in Single-Page Applications. 480-487 - Jérémy Buisson, Seidali Rehab:
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. 488-495 - Van Cam Pham, Ansgar Radermacher, Sébastien Gérard:
A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code. 496-503 - Philipp Lohmüller, Andrea Fendt, Bernhard Bauer:
Multi-Concerns Engineering for Safety-Critical Systems. 504-510 - Samba Diaw, Mamadou Lakhassane Cisse, Alassane Bah:
An Y MDE Approach for Enactable Software Process Models Generation. 511-518 - Dániel Urbán, Zoltán Theisz, Gergely Mezei:
Self-describing Operations for Multi-level Meta-modeling. 519-527 - Imane Essebaa, Salima Chantit:
A Combination of V Development Life Cycle and Model-based Testing to Deal with Software System Evolution Issues. 528-535 - Ibtissem Chouba, Jean-Sébastien Sottet:
Cost-Risk Optimization Applied in the Context of Regulation. 536-543 - Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün:
Using Structure of Automata for Faster Synchronizing Heuristics. 544-551 - Brice M. Bigendako, Eugene Syriani:
Modeling a Tool for Conducting Systematic Reviews Iteratively. 552-559 - Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. 560-566 - Arnaud Michot, Christophe Ponsard, Quentin Boucher:
Towards Better Document to Model Synchronisation: Experimentations with a Proposed Architecture. 567-574 - Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge:
Concurrent Programming using Umple. 575-585 - Tiexin Wang, Sébastien Truptil, Frédérick Bénaben, Chuanqi Tao:
A Meta-model based Automatic Conceptual Model-to-Model Transformation Methodology. 586-593 - Ivan Jovanovikj, Vishwak Narasimhan, Gregor Engels, Stefan Sauer:
Context-specific Quality Evaluation of Test Cases. 594-601 - Yasamin Mahmoodi, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Model-guided Security Analysis of Interconnected Embedded Systems. 602-609
MODELSWARD - Industrial Track
- Melanie Schranz, Alessandra Bagnato, Etienne Brosse, Wilfried Elmenreich:
Modelling a CPS Swarm System: A Simple Case Study. 615-624 - Deepak Dhungana:
Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE. 625-631 - Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza:
Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems. 632-641 - Gerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec:
A Daily Dose of DSL - MDE Micro Injections in Practice. 642-651
Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
- Ferenc Attila Somogyi, Márk Asztalos:
Formal Description and Verification of a Text-based Model Differencing and Merging Method. 657-667 - João António Custódio Soares, Bruno Lima, João Pascoal Faria:
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. 668-679 - Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico:
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. 680-688 - Gayane Sedrakyan, Laurens De Vocht, Juncal Alonso, Marisa Escalante, Leire Orue-Echevarria, Erik Mannens:
Data Harvesting, Curation and Fusion Model to Support Public Service Recommendations for e-Governments. 691-698 - Reinhard Pröll, Bernhard Bauer:
Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities. 699-706 - Boni García, Francisco Gortázar, Micael Gallego, Eduardo Jiménez:
User Impersonation as a Service in End-to-End Testing. 707-714
Special Session on Model Management And Analytics
- Orjuwan Al-Wadeai, Antonio García-Domínguez, Alessandra Bagnato, Antonin Abherve, Konstantinos Barmpis:
Integration of Hawk for Model Metrics in the MEASURE Platform. 719-730 - Sven Schuster, Christoph Seidl, Ina Schaefer:
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. 731-742 - Ramon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand:
Towards Automated Analysis of Model-Driven Artifacts in Industry. 743-751 - Benny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar:
Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages. 752-764 - Önder Babur, Loek Cleophas, Mark van den Brand:
Towards Distributed Model Analytics with Apache Spark. 767-772
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
