Zobrazeno 1 - 10
of 102
pro vyhledávání: '"Leen Lambers"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 1-22 (2019)
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and
Externí odkaz:
https://doaj.org/article/1417b33747b343b083f19496784c1148
Autor:
Leen Lambers, Sebastián Uchitel
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences
Publikováno v:
Software and Systems Modeling.
Optimization problems in software engineering typically deal with structures as they occur in the design and maintenance of software systems. In model-driven optimization (MDO), domain-specific models are used to represent these structures while evol
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Autor:
Sven Schneider, Leen Lambers
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 133:100862
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Universitat Politècnica de Catalunya (UPC)
We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. Thi
Autor:
Massimo Tisi, Matthias Tichy, Leen Lambers, Antonio Bucchiarone, Alfonso Pierantonio, Federico Ciccozzi, Andreas Wortmann, Vadim Zaytsev
Publikováno v:
IEEE software, 38(2):9354405, 119-127. IEEE Computer Society
IEEE Software
IEEE Software, 2021, 38 (2), pp.119-127. ⟨10.1109/MS.2020.3041522⟩
IEEE Software
IEEE Software, 2021, 38 (2), pp.119-127. ⟨10.1109/MS.2020.3041522⟩
International audience; Modelling languages and frameworks have been the key technology for advancing Model-Driven Engineering (MDE) methods and tools. Many industrial and research tools have been realised and are used across many domains. Hence, we
Autor:
Loli, Burgueño, Ciccozzi, Federico, Michalis, Famelis, Gerti, Kappel, Leen, Lambers, Sebastien, Mosser, Paige, Richard F., Pierantonio, Alfonso, Arend, Rensink, Rick, Salay, Gabriele, Taentzer, Antonio, Vallecillo, Manuel, Wimmer
Publikováno v:
Software and systems modeling, 18(6), 3193-3205. Springer
Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices (i.e., a Body of Knowledge) has been defined for it yet. With the goals of characterizing the
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 103:105-129
Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides all potential conflict
Autor:
Leen Lambers, Sven Schneider
Publikováno v:
Graph Transformation ISBN: 9783030789459
ICGT
ICGT
Graphs are used as a universal data structure in various domains. Sets of graphs (and likewise graph morphisms) can be specified using the graph logic Open image in new window of Graph Conditions (GCs). The evaluation of a graph against a GC results
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::113f51f647913b24df467440eb76d85d
https://doi.org/10.1007/978-3-030-78946-6_7
https://doi.org/10.1007/978-3-030-78946-6_7