• 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

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) BASE Show 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; Barais, Olivier; Jézéquel, Jean-Marc 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) Abstract: International audience ; Domain-Specific Languages (DSLs) are increasingly used by domain experts to handle various concerns in systems and software development. To support this trend, the Model-Driven Engineering (MDE) community has developed advanced techniques for designing new DSLs. However, the widespread use of independently developed, and constantly evolving DSLs is hampered by the rigidity imposed to the language users by the DSLs and their tooling, e.g., for manipulating a model through various similar DSLs or successive versions of a given DSL. In this paper, we propose a disciplined approach that leverages type groups' polymorphism to provide an advanced type system for manipulating models, in a polymorphic way, through different DSL interfaces. A DSL interface, aka. model type, specifies a set of features, or services, available on the model it types, and subtyping relations among these model types define the safe substitutions. This type system complements the Melange language workbench and is seamlessly integrated into the Eclipse Modeling Framework (EMF), hence providing structural interoperability and compatibility of models between EMF-based tools. We illustrate the validity and practicability of our approach by bridging safe interoperability between different semantic and syntactic variation points of a finite-state machine (FSM) language, as well as between successive versions of the Unified Modeling Language (UML). Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; Metamodeling; Model typing; Type groups polymorphism URL: https://doi.org/10.1016/j.cl.2016.09.001 https://hal.inria.fr/hal-01367305v2/document https://hal.inria.fr/hal-01367305 https://hal.inria.fr/hal-01367305v2/file/comlan-melange.pdf BASE Hide 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