default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th 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.
last updated on 2025-12-05 22:31 CET 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:
