


Остановите войну!
for scientists:


default search action
13. ECMFA 2017: Marburg, Germany
- Anthony Anjorin, Huáscar Espinoza:
Modelling Foundations and Applications - 13th European Conference, ECMFA@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10376, Springer 2017, ISBN 978-3-319-61481-6
Meta-Modelling and Language Engineering
- Alexander Kraas:
On the Automated Derivation of Domain-Specific UML Profiles. 3-19 - Lorenzo Addazi, Federico Ciccozzi
, Philip Langer, Ernesto Posse:
Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles. 20-33 - Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern:
Modeling Architectures of Cyber-Physical Systems. 34-50
Model Evolution and Maintenance
- Arvid Butting
, Arne Haber, Lars Hermerschmidt, Oliver Kautz
, Bernhard Rumpe, Andreas Wortmann:
Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language. 53-70 - Davide Di Ruscio
, Juergen Etzlstorfer
, Ludovico Iovino
, Alfonso Pierantonio
, Wieland Schwinger
:
A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration. 71-89 - Lorena Arcega
, Jaime Font
, Øystein Haugen, Carlos Cetina
:
On the Influence of Models at Run-Time Traces in Dynamic Feature Location. 90-105
Model-Driven Generative Development
- Roland Kluge
, Michael Stein
, David Giessing
, Andy Schürr
, Max Mühlhäuser
:
cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks. 109-125 - Enes Yigitbas, Hagen Stahl, Stefan Sauer, Gregor Engels:
Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations. 126-141 - Dennis Priefer, Peter Kneisel, Daniel Strüber:
Iterative Model-Driven Development of Software Extensions for Web Content Management Systems. 142-157
Model Consistency Management
- Harald König, Zinovy Diskin:
Efficient Consistency Checking of Interrelated Models. 161-178 - Hao Wu
:
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. 179-196 - Gerson Sunyé:
Model Consistency for Distributed Collaborative Modeling. 197-212
Model Verification and Analysis
- Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens:
Model-Based Privacy Analysis in Industrial Ecosystems. 215-231 - Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. 232-247 - Hichem Debbi
:
Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications. 248-263
Experience Reports, Case Studies, and New Application Scenarios
- Hamza Ed-Douibi
, Javier Luis Cánovas Izquierdo
, Jordi Cabot
:
Example-Driven Web API Specification Discovery. 267-284 - Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin:
Technology-Preserving Transition from Single-Core to Multi-core in Modelling Vehicular Systems. 285-299 - Abel Gómez
, Xabier Mendialdua
, Gábor Bergmann
, Jordi Cabot
, Csaba Debreceni
, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara, Salvador Trujillo:
On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development. 300-315

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.