DE eng

Search in the Catalogues and Directories

Hits 1 – 20 of 20

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
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
3
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
4
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
5
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
6
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
7
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
8
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
9
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
BASE
Show details
10
Execution Framework of the GEMOC Studio (Tool Demo)
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
BASE
Show details
11
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench
In: ISSN: 1619-1366 ; EISSN: 1619-1374 ; Software and Systems Modeling ; https://hal.inria.fr/hal-00829839 ; Software and Systems Modeling, Springer Verlag, 2015, 14 (2), pp.905-920. ⟨10.1007/s10270-013-0354-4⟩ ; http://link.springer.com/article/10.1007%2Fs10270-013-0354-4 (2015)
BASE
Show details
12
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
13
Operational Semantics of the Model of Concurrency and Communication Language
In: https://hal.inria.fr/hal-01060601 ; [Research Report] RR-8584, INRIA. 2014, pp.23 (2014)
BASE
Show details
14
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
15
Automating Variability Model Inference for Component-Based Language Implementations
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
BASE
Show details
16
Variability Support in Domain-Specific Language Development
In: SLE - 6th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-00914715 ; SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩ ; http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5 (2013)
BASE
Show details
17
Ingénierie Dirigée par les Modèles : des concepts à la pratique.
Jézéquel, Jean-Marc; Combemale, Benoit; Vojtisek, Didier. - : HAL CCSD, 2012. : Ellipses, 2012
In: https://hal.inria.fr/hal-00648489 ; Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 (2012)
BASE
Show details
18
Vers un rapprochement de l'IDM et de la compilation
In: Journées sur l'Ingénierie Dirigée par les Modèles ; https://hal.inria.fr/inria-00601670 ; Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France (2011)
BASE
Show details
19
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
In: https://hal.inria.fr/inria-00526561 ; [Research Report] RR-7423, INRIA. 2010 (2010)
BASE
Show details
20
Simulation et vérification de modèle par métamodélisation executable
Combemale, Benoit. - : HAL CCSD, 2010. : éditions Universitaires Européennes, 2010
In: https://hal.inria.fr/inria-00542740 ; éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3 (2010)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
20
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern