MoDELS A

39 papers

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