• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (42)
    • Inria Rennes – Bretagne Atlantique (27)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) (26)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (25)
    • Université de Rennes 1 (UR1) (25)
    • Diversity-centric Software Engineering (DiverSe) (23)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) (19)
    • Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (19)
    • Combemale, Benoit (17)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (15)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (42)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 Hits 1 – 20 of 42 1 SEALS: A framework for building Self-Adaptive Virtual Machines Jouneaux, Gwendal; Barais, Olivier; Combemale, Benoit... 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 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021) BASE Show details 3 Modelling, Reverse Engineering, and Learning Software Variability Acher, Mathieu. - : HAL CCSD, 2021 In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021) BASE Show details 4 A principled approach to REPL interpreters Thomas Van Binsbergen, L.; Merino, Mauricio,; Jeanjean, Pierre... 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 5 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... 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 6 Generation of Inductive Types from Ecore Metamodels Buisson, Jérémy; Rehab, Seidali In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019) BASE Show details 7 Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code Buisson, Jérémy; Rehab, Seidali In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019) BASE Show details 8 On modularity and performance of External Domain-Specific Language implementations ; Modularité et performance des implémentations de langages dédiés externes Leduc, Manuel. - : HAL CCSD, 2019 In: https://hal.inria.fr/tel-02418676 ; Software Engineering [cs.SE]. Université de rennes 1, 2019. English (2019) Abstract: Model-Driven Engineering (MDE) aims at supporting Domain Experts when developing complex systems, by separating concerns through the use of models. Models are representations of specific aspects of a system and are defined using relevant abstractions. Such abstractions are defined using Domain-Specific Languages (DSLs). DSLs are created with specialized Integrated Development Environment (IDE), called language workbenches. Language workbenches assist the engineering of languages by offering useful language abstractions. First, these abstractions have the benefit of providing the relevant level of abstraction for the specification of languages. Second, they address the concerns inherent to software development, such as modularity or testability. However, the benefits of these abstractions can be lost when translated to language service implementations (e.g., editors, interpreters, debuggers). This has many drawbacks, especially in terms of reusability and performance. Domain Experts are subject to these limitations and are forced to reason in terms of the low-level intricacies of language services implementation. These problems can be alleviated by exploiting the information provided by the abstractions available in the DSL specifications. To do so, we propose two new implementation patterns supporting reuse and performances, and a systematic translation of language specifications to these patterns. The first implementation pattern tackles language reuse and is called REVISITOR. The REVISITOR pattern allows the safe and modular reuse of languages, both syntactically and semantically, while relying solely on mainstream object-oriented programming concepts. The second implementation pattern addresses language performances. Language performances are improved by introducing language-specific optimizations. These optimizations are automatically introduced without being intrusive of the usual language development methods. We seamlessly implement our approaches on top of the Eclipse IDE ecosystem by using two metalanguages: Ecore and ALE. Ecore supports the specification of abstract syntaxes in the form of metamodels. Ecore is provided by the de facto industrial standard Eclipse Modeling Framework (EMF). ALE supports the modular specification of language semantics on top of Ecore metamodels. We provide two compilers for these metalanguages. They support respectively the compilation of language specifications to the REVISITOR pattern and the automatic introduction of performance-specific optimizations in DSL interpreter implementations. We evaluate the benefits of our approaches by implementing a varied selection of heterogeneous DSLs. Our contributions make possible the implementation of reusable or efficient DSLs for Domain Experts — while currently separated, future work aims to integrate them. In practice, our approach is both non-intrusive of the usual methodology of language engineering and based on automated code generation. Consequently, our approach is directly applicable to industrial contexts and can be integrated with legacy DSLs artifacts. ; L’Ingénierie Dirigée par les Modèles (IDM) a pour but d’assister les experts métiers dans le développement de systèmes complexes, en séparant les préoccupations par l’utilisation de modèles. Les modèles sont des représentations d’aspects spécifiques des systèmes et sont définis à l’aide d’abstractions dédiées. Ces abstractions sont définies avec des langages dédiés. Ces langages dédiés sont créés à l’aide d’Environnements de Développement Intégré (EDI) spécialisés, appelés language workbenches. Les language workbenches aident à l’ingénierie de langages dédiés en proposant des abstractions utiles. Premièrement, ces abstractions sont dédiées à la définition des différents aspects des langages. Ensuite, elles répondent aux préoccupations inhérentes au développement de logiciels tels que la modularité ou la testabilité. Cependant, les bénéfices de telles abstractions peuvent être perdues quand traduites vers des implémentations de services de langages (p. ex. éditeurs, interpréteurs, débogueurs.). Cela entraîne de nombreux inconvénients, en particulier concernant la réutilisabilité et les performances. Les experts métiers sont confrontés à ces limitations et sont forcés de raisonner à travers les détails d’implémentations complexes des implémentations des services de langages. Ces problèmes peuvent être atténués en exploitant les informations fournies par les abstractions de langages dédiés. Pour ce faire, nous proposons deux patrons d’implémentation qui supportent la réutilisation et les performances. Ainsi qu’une traduction systématique depuis les spécifications de langages vers ces patrons. Le premier patron d’implémentation s’attaque à la réutilisation de langages et s’appelle REVISITOR. Le REVISITOR permet la réutilisation sûre et modulaire de langages, à la fois syntaxiquement et sémantiquement, tout en s’appuyant uniquement sur des concepts courants de programmation orientée objet. Le second patron d’implémentation adresse la performance des langages. Celles-ci sont améliorées par l’introduction d’optimisations spécifiques au langage. Ces optimisations sont introduites automatiquement, sans être intrusif de la manière usuelle de définir les langages. Nous intégrons de manière transparent notre approche dans l’écosystème de l’EDI Eclipse. Pour ce faire, nous utilisons deux métalangages : Ecore et ALE. Ecore supporte la spécification de syntaxes abstraites sous la forme de méta-modèles. Ecore est fourni dans le cadriciel EMF , standard du monde industriel. ALE supporte la spécification modulaire de sémantiques de langages par-dessus les méta-modèles Ecore. Nous fournissons deux compilateurs pour ces langages. Ils autorisent respectivement la compilation des spécifications de langages vers le patron REVISITOR ou l’introduction automatique d’optimisation de performance dans les implémentations des interpréteurs. Nous évaluons les bénéfices de ces approches par l’implémentation d’une sélection variée et hétérogène de langages dédiés. Nos contributions rendent possible l’implémentation de langages dédiés réutilisable et efficaces (bien qu’actuellement séparées, nous travaillons à leur intégration) pour les experts métiers. En pratique, notre approche est à la fois non-intrusive de l’ingénierie des langages et basée sur une génération systématique des implémentations. Par conséquent, notre approche est directement applicable dans un contexte industriel et peut être intégrée avec des artefacts de langages dédiés existants. Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; domain-specific languages; ingénierie des langages; langages dédiés; performance; reuse; réutilisation; software language engineering URL: https://hal.inria.fr/tel-02418676/file/main-final.pdf https://hal.inria.fr/tel-02418676 https://hal.inria.fr/tel-02418676/document BASE Hide details 9 On modularity and performances of external domain-specific language implementations ; Modularité et performances des langages dédiés externes Leduc, Manuel. - : HAL CCSD, 2019 In: https://tel.archives-ouvertes.fr/tel-02972666 ; Software Engineering [cs.SE]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S112⟩ (2019) BASE Show details 10 Dynamic program analysis for suggesting test improvements to developers ; Analyse dynamique du programme pour suggérer des améliorations de test aux développeurs Vera-Pérez, Oscar. - : HAL CCSD, 2019 In: https://hal.archives-ouvertes.fr/tel-02459572 ; Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English (2019) BASE Show details 11 Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering Combemale, Benoit; Kienzle, Jörg; Mussbacher, Gunter... 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 12 Specification-Based Protocol Obfuscation Duchene, Julien; Alata, Eric; Nicomette, Vincent... In: DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ; https://hal.inria.fr/hal-01848573 ; DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩ (2018) BASE Show details 13 Verification of High-Level Transformations with Inductive Refinement Types Salim Al-Sibahi, Ahmad; Dimovski, Aleksandar,; Jensen, Thomas... In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018) BASE Show details 14 Distributing Relational Model Transformation on MapReduce Benelallam, Amine; Gómez, Abel; Tisi, Massimo... 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 15 Shape-Diverse DSLs: Languages without Borders (Vision Paper) Coulon, Fabien; Degueule, Thomas; Van Der Storm, Tijs... 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 16 Modular Language Composition for the Masses Leduc, Manuel; Degueule, Thomas; Combemale, Benoit 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 17 Revisiting Visitors for Modular Extension of Executable DSMLs Leduc, Manuel; Degueule, Thomas; Combemale, Benoit... 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 18 On Language Interfaces Degueule, Thomas; Combemale, Benoit; Jézéquel, Jean-Marc 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 19 Safe Model Polymorphism for Flexible Modeling Degueule, Thomas; Combemale, Benoit; Blouin, Arnaud... 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 20 Using free modeling as an Agile method for developing domain specific modeling languages Golra, Fahad Rafique; Beugnard, Antoine; Dagnat, Fabien... In: Proceedings MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems ; https://hal.archives-ouvertes.fr/hal-01393781 ; MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩ (2016) BASE Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 42 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0