1 |
SEALS: A framework for building Self-Adaptive Virtual Machines
|
|
|
|
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Modelling, Reverse Engineering, and Learning Software Variability
|
|
|
|
In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
A principled approach to REPL interpreters
|
|
|
|
In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020)
|
|
BASE
|
|
Show details
|
|
4 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
5 |
On modularity and performance of External Domain-Specific Language implementations ; Modularité et performance des implémentations de langages dédiés externes
|
|
|
|
In: https://hal.inria.fr/tel-02418676 ; Software Engineering [cs.SE]. Université de rennes 1, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
6 |
On modularity and performances of external domain-specific language implementations ; Modularité et performances des langages dédiés externes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02972666 ; Software Engineering [cs.SE]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S112⟩ (2019)
|
|
BASE
|
|
Show details
|
|
7 |
Dynamic program analysis for suggesting test improvements to developers ; Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02459572 ; Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.archives-ouvertes.fr/hal-01803008 ; Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩ (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Distributing Relational Model Transformation on MapReduce
|
|
|
|
In: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.archives-ouvertes.fr/hal-01863885 ; Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩ (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
|
|
|
|
In: SLE 2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering ; https://hal.archives-ouvertes.fr/hal-01889155 ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩ (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Modular Language Composition for the Masses
|
|
|
|
In: SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01890446 ; SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩ ; http://www.sleconf.org/2018/ (2018)
|
|
BASE
|
|
Show details
|
|
12 |
Revisiting Visitors for Modular Extension of Executable DSMLs
|
|
|
|
In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems ; https://hal.inria.fr/hal-01568169 ; 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩ (2017)
|
|
BASE
|
|
Show details
|
|
13 |
On Language Interfaces
|
|
|
|
In: PAUSE: Present And Ulterior Software Engineering ; https://hal.inria.fr/hal-01424909 ; Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017 (2017)
|
|
BASE
|
|
Show details
|
|
14 |
Safe Model Polymorphism for Flexible Modeling
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01367305 ; Computer Languages, Systems and Structures, Elsevier, 2016, Computer Languages, Systems Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩ ; http://www.sciencedirect.com/science/journal/14778424 (2016)
|
|
BASE
|
|
Show details
|
|
15 |
Leveraging software product lines engineering in the construction of domain specific languages ; Usage de l'ingénierie de lignes de produits pour la construction de langages dédiés
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01427187 ; Software Engineering [cs.SE]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S136⟩ (2016)
|
|
BASE
|
|
Show details
|
|
16 |
Towards Functional Model Transformations with OCL
|
|
|
|
In: LNCS ; ICMT 2015 - 8th International Conference on Model Transformation ; https://hal.archives-ouvertes.fr/hal-01179294 ; ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩ (2015)
|
|
Abstract:
International audience ; Several model transformation approaches such as QVT and ATL use OCL as expression language for its model-querying capabilities. However, they need to add specific and incompatible syntactic constructs for pattern matching as well as model element creation and mutation.In this paper, we present an exploratory approach to enable the expression of whole model transformations in OCL. This approach leverages some OCL extensions proposed for inclusion in the upcoming OCL 2.5: pattern matching and shadow objects. It also relies on a specific execution layer to enable traceability and side effects on models.With model transformations as OCL functions, it becomes possible to use a single, standard, well-known, functional, and formalized model querying language to perform tasks traditionally assigned to model transformation languages. Thus, functional techniques such as function composition and higher-order become directly applicable to model transformations.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; Functional transformation; Model transformation; OCL
|
|
URL: https://hal.archives-ouvertes.fr/hal-01179294 https://hal.archives-ouvertes.fr/hal-01179294/file/FJOB.pdf https://hal.archives-ouvertes.fr/hal-01179294/document https://doi.org/10.1007/978-3-319-21155-8_9
|
|
BASE
|
|
Hide details
|
|
17 |
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study
|
|
|
|
In: ISSN: 1382-3256 ; EISSN: 1573-7616 ; Empirical Software Engineering ; https://hal.inria.fr/hal-01096969 ; Empirical Software Engineering, Springer Verlag, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩ (2015)
|
|
BASE
|
|
Show details
|
|
18 |
Towards Language Interfaces for DSLs Integration
|
|
|
|
In: https://hal.inria.fr/hal-01138017 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
19 |
Reusing Legacy DSLs with Melange
|
|
|
|
In: 15th Workshop on Domain-Specific Modeling ; https://hal.inria.fr/hal-01197039 ; 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States (2015)
|
|
BASE
|
|
Show details
|
|
20 |
Variability Management in Domain-Specific Languages
|
|
|
|
In: International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES) ; https://hal.inria.fr/hal-01077788 ; International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. 2014 ; http://www.mdd4dres.org (2014)
|
|
BASE
|
|
Show details
|
|
|
|