default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th MoDELS 2017: Austin, TX, USA
- 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3492-9
Model Transformation
- Perdita Stevens:
Bidirectional Transformations in the Large. 1-11 - Jesús Sánchez Cuadrado
, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot:
Translating Target to Source Constraints in Model-to-Model Transformations. 12-22 - Soichiro Hidaka, Frédéric Jouault, Massimo Tisi:
On Additivity in Transformation Languages. 23-33
Language Engineering
- Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
How is ATL Really Used? Language Feature Use in the ATL Zoo. 34-44 - Vadim Zaytsev:
Language Design with Intent. 45-52
MDE-I
- Marina Egea, Carolina Dania:
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. 54 - Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh:
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection. 55-62 - Bastian Ulke, Friedrich Steimann, Ralf Lämmel:
Partial Evaluation of OCL Expressions. 63-73
DSLs
- Ulyana Tikhonova:
Reusable Specification Templates for Defining Dynamic Semantics of DSLs. 74 - Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara:
Active Domain-Specific Languages: Making Every Mobile User a Modeller. 75-82 - Daniel Ratiu, Vaclav Pech, Kolja Dummann:
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners. 83-92
Product Lines
- Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik:
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. 93-100 - Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. 101-111 - Manuel Leduc, Thomas Degueule, Benoît Combemale, Tijs van der Storm, Olivier Barais:
Revisiting Visitors for Modular Extension of Executable DSMLs. 112-122
Validation & Verification
- Qusai Ramadan, Mattia Salnitri, Daniel Strüber, Jan Jürjens, Paolo Giorgini:
From Secure Business Process Modeling to Design-Level Security Verification. 123-133 - Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom:
Why is My Component and Connector Views Specification Unsatisfiable? 134-144 - Vincent Aravantinos, Sudeep Kanav:
Tool Support for Live Formal Verification. 145-155
Modeling in Industry
- Ewen Denney, Ganesh Pai, Iain Whiteside:
Model-Driven Development of Safety Architectures. 156-166 - Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice: An Experience Report. 167-177 - Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki:
Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). 178
New Frontiers
- Michalis Famelis, Marsha Chechik:
Managing Design-Time Uncertainty. 179 - Thomas Hartmann, Assaad Moawad, François Fouquet, Yves Le Traon:
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling. 180 - Amine Benelallam, Thomas Hartmann, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon:
Raising Time Awareness in Model-Driven Engineering: Vision Paper. 181-188
Co-Evolution & Collaboration
- Darko Durisic, Corrado Motta, Miroslaw Staron, Matthias Tichy:
Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR. 189-198 - Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró:
Property-Based Locking in Collaborative Modeling. 199-209 - Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis:
Heuristic-Based Recommendation for Metamodel - OCL Coevolution. 210-220
Modeling Infrastructure
- Heiko Klare, Erik Burger, Max E. Kramer, Michael Langhammer, Timur Saglam, Ralf H. Reussner:
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools. 221-228 - Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle:
User Experience for Model-Driven Engineering: Challenges and Future Directions. 229-236 - Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson:
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. 237-247
Modeling & Systems Engineering
- Dominique Ernadote:
Ontology-Based Pattern for System Engineering. 248-258 - Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, Daniel Gracia Pérez:
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. 259-269 - Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, Alexandru Ipatiov:
Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case. 270-280
Empirical Studies
- Andreas Wortmann, Benoît Combemale, Olivier Barais:
A Systematic Mapping Study on Modeling for Industry 4.0. 281-291 - Javier Luis Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot:
An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem. 292-302 - Luciane Telinski Wiedermann Agner, Timothy C. Lethbridge:
A Survey of Tool Use in Modeling Education. 303-311
MDE - II
- Joel Greenyer, Timo Gutjahr:
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. 312-322 - Wei Dou, Domenico Bianculli, Lionel C. Briand:
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. 323-333 - Martin Beckmann, Vanessa N. Michalke, Aaron Schlutter, Andreas Vogelsang:
Removal of Redundant Elements within UML Activity Diagrams. 334-343
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-11-16 00:11 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:
