![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
MODELSWARD 2017: Porto, Portugal
- Luís Ferreira Pires, Slimane Hammoudi, Bran Selic:
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. SciTePress 2017, ISBN 978-989-758-210-3
Invited Speakers
Keynote Speakers
- Uwe Assmann:
Modeling for Robotic Co-Working. MODELSWARD 2017: 5 - Juan de Lara:
Domain-Specific Modelling Languages: Challenges and Opportunities. MODELSWARD 2017: 7 - Frédérick Bénaben:
The Use of Model-driven Engineering for Crisis Management. MODELSWARD 2017: 9
Papers
Full Papers
- Felix Schwägerl, Bernhard Westfechtel:
Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product Lines. 15-28 - Vladimir Estivill-Castro, René Hexel
:
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. 29-40 - Fazle Rabbi
, Lars Michael Kristensen, Yngve Lamo:
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. 41-52 - Thorsten Koch, Jörg Holtmann
, Timo Lindemann:
Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. 53-64 - Michael Hitz, Thomas Kessel, Dennis Pfisterer:
Towards Sharable Application Ontologies for the Automatic Generation of UIs for Dialog based Linked Data Applications. 65-77 - Daniela Genius, Letitia W. Li, Ludovic Apvrille:
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. 78-89 - Juergen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger:
On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches. 90-99 - Michiel Overeem, Slinger Jansen
:
An Exploration of the 'It' in 'It Depends': Generative versus Interpretive Model-Driven Development. 100-111 - Jian Liu, John C. Grundy
, Mohamed Abdelrazek, Iman Avazpour:
Testing Environment Emulation - A Model-based Approach. 112-124 - Jérôme Rocheteau, Clémentine Geslin, Margaux Bosshardt:
SMART REIFIER: Model-Driven Development of Service-Oriented SCADA Applications from Models of Sensor and Actuator Networks. 125-136 - Jesús M. Perera Aracil, Diego Sevilla Ruiz
:
CloudTL: A New Transformation Language based on Big Data Tools and the Cloud. 137-146 - Niels Brouwers, Marc Hamilton, Ivan Kurtev, Yaping Luo:
Language Architecture: An Architecture Language for Model-Driven Engineering. 147-156 - Adrian Rumpold
, Reinhard Pröll, Bernhard Bauer:
A Domain-aware Framework for Integrated Model-based System Analysis and Design. 157-168 - Saïd Taktak, Saleh Alshomrani, Jamel Feki, Gilles Zurfluh:
The Power of a Model-Driven Approach to Handle Evolving Data Warehouse Requirements. 169-181 - Shlomi Steinberg
, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Distributing Scenario-based Models: A Replicate-and-Project Approach. 182-195 - André Reis, Alberto Rodrigues da Silva:
XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information Systems. 196-207 - Van Cam Pham, Ansgar Radermacher, Sébastien Gérard, Shuai Li:
Complete Code Generation from UML State Machine. 208-219 - Diego Sevilla, Severino Feliciano Morales, Jesús García Molina:
An MDE Approach to Generate Schemas for Object-document Mappers. 220-228 - Bruno Augusti Mozzaquatro, Ricardo Jardim-Gonçalves, Carlos Agostinho
:
Model Driven Implementation of Security Management Process. 229-238 - Carlos Agostinho
, José Ferreira, Joaquim Pereira, Catarina Lucena, Klaus Fischer:
Process Development for the Liquid-sensing Enterprise. 239-249
Short Papers
- Georg Hinkel, Misha Strittmatter:
On using Sarkar Metrics to Evaluate the Modularity of Metamodels. 253-260 - Issam Al-Azzoni:
ATL Transformation of Queueing Networks to Queueing Petri Nets. 261-268 - Olivier Le Goaër, Eric Cariou, Franck Barbier:
World Wide Modeling Made Easy - A Simple, Lightweight Model Server. 269-276 - Jenny Ruiz, Estefanía Serral
, Monique Snoeck:
UI-GEAR: User Interface Generation prEview capable to Adapt in Real-time. 277-284 - Johannes Geismann, Uwe Pohlmann, David Schmelter
:
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. 285-292 - Tobias Hoppe, Harald Eisenmann, Alexander Viehl, Oliver Bringmann:
SEMF - The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering. 293-301 - Letitia W. Li, Florian Lugou, Ludovic Apvrille:
Security-aware Modeling and Analysis for HW/SW Partitioning. 302-311 - Martin Eyl, Clemens Reichmann, Klaus D. Müller-Glaser:
Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking. 312-319 - Lujain Al-Dakheel, Issam Al-Azzoni:
Model-to-Model based Approach for Software Component Allocation in Embedded Systems. 320-328 - Markus Scheidgen, Martin Schmidt, Joachim Fischer:
Creating and Analyzing Source Code Repository Models - A Model-based Approach to Mining Software Repositories. 329-336 - César Cuevas Cuesta, Patricia López Martínez, José M. Drake:
Automating the Customization of Model-Driven Software Engineering Environments. 337-344 - Ivan Kurtev
, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
:
Integrating Interface Modeling and Analysis in an Industrial Setting. 345-352 - Maximilien Kintz, Monika Kochanowski, Falko Koetter:
Creating User-specific Business Process Monitoring Dashboards with a Model-driven Approach. 353-361 - Sandra Greiner, Felix Schwägerl, Bernhard Westfechtel:
Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications. 362-373 - Hendrik Bünder, Christoph Rieger, Herbert Kuchen:
A Domain-specific Language for Configurable Traceability Analysis. 374-381 - Mert Ozkaya:
Architecture Descriptions of Software Systems: Complex Connectors vs Realisability. 382-391 - Christophe Feltus, Eric Grandry, Thomas Kupper, Jean-Noël Colin
:
Model-driven Approach for Privacy Management in Business Ecosystem. 392-400 - Faiez Zalila, Eric Jenn, Marc Pantel:
Model Execution and Debugging - A Process to Leverage Existing Tools. 401-408 - Zhiyi Ma:
An Approach to Pruning Metamodels like UML. 409-417 - Alexander Wichmann, Ralph Maschotta
, Francesco Bedini, Sven Jäger, Armin Zimmermann:
A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization. 418-426 - Grischa Liebel, Anthony Anjorin, Eric Knauss
, Florian Lorber, Matthias Tichy:
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry. 427-434 - David Faitelson, Robert Heinrich, Shmuel S. Tyszberowicz:
Supporting Software Architecture Evolution by Functional Decomposition. 435-442 - Francesco Bedini, Ralph Maschotta
, Alexander Wichmann, Sven Jäger, Armin Zimmermann:
A Model-Driven fUML Execution Engine for C++. 443-450 - Hessa Alfraihi, Kevin Lano:
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review. 451-458 - Aurélien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, François Terrier:
Use of Architecture Description to Maintain Consistency in Agile Processes. 459-466 - João L. R. Moreira, Luís Ferreira Pires
, Marten van Sinderen, Patricia Dockhorn Costa:
Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling Language. 467-477 - Marcel Heinz, Ralf Lämmel, Andrei Varanovich:
Axioms of Linguistic Architecture. 478-486 - Kunal Suri
, Arnaud Cuccuru, Juan Cadavid, Sebastien Gerard, Walid Gaaloul, Samir Tata:
Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0. 487-495 - Maxime Jimenez, Darko Durisic, Miroslaw Staron:
Measuring the Evolution of Meta-models - A Case Study of Modelica and UML Meta-models. 496-502 - Nicolas Ferry, Franck Chauvel, Hui Song, Arnor Solberg:
Towards Meta-adaptation of Dynamic Adaptive Systems with Models@Runtime. 503-508 - Gefei Zhang:
On using Colors in UML Models. 509-514 - S. M. Guttormsen, Andreas Prinz, Terje Gjøsæter:
Consistent Projectional Text Editors. 515-522 - Hui Song, Nicolas Ferry, Jakob Høgenes, Arnor Solberg:
Model-driven Engineering for the Configuration and Deployment of Data Processing Applications. 523-528 - Saeko Matsuura, Shinpei Ogata
, Yoshitaka Aoki:
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. 529-535 - Roy Mendieta, Jose Luis de la Vara, Juan Llorens Morillo
, José María Álvarez Rodríguez
:
Towards Effective SysML Model Reuse. 536-541 - Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet
, Robert de Simone:
Explicit Control of Dataflow Graphs with MARTE/CCSL. 542-549 - Noura Azaiez, Jalel Akaichi:
Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?. 550-555 - Sarra Roubi, Mohammed Erramdani, Samir Mbarki:
Towards Including Layout Properties for Modeling Graphical User Interfaces - Generic Properties for GUI Metamodels. 556-560 - Filip Krijt, Zbynek Jirácek, Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality. 561-568 - Moussa Amrani, Fabian Gilson
, Abdelmounaim Debieche, Vincent Englebert
:
Towards User-centric DSLs to Manage IoT Systems. 569-576
MODELSWARD - Industrial Track
Full Papers
- Shaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue:
Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco. 581-589 - Dragan Milicev:
Practical Large-scale Model-Driven Development of Business Applications with an Executable UML. 590-604 - Souvik Barat, Vinay Kulkarni, Tony Clark
, Balbir Barn:
A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making. 605-616 - Deepali Kholkar, Sagar Sunkle, Vinay Kulkarni:
Towards Automated Generation of Regulation Rule Bases using MDA. 617-628 - Gerald Stieglbauer, Igor Roncevic:
Objecting to the Revolution: Model-Based Engineering and the Industry - Root Causes Beyond Classical Research Topics. 629-639
International Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Full Papers
- Pascal André, J. Christian Attiogbé, Jean-Marie Mottu:
Combining Techniques to Verify Service-based Components. 645-656 - Fabio Martinelli, Ilaria Matteucci
, Paolo Mori, Andrea Saracino
:
Concurrent History-based Usage Control Policies. 657-666 - Antonio Brogi
, Antonio Di Tommaso, Jacopo Soldani:
Validating TOSCA Application Topologies. 667-678 - Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. 679-686
![](https://dblp.org/img/cog.dark.24x24.png)
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.