21 |
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
|
|
22 |
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
|
|
23 |
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)
|
|
Abstract:
International audience ; With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity for a few experts only and becomes a challenging task for thousands of software engineers. DSL implementation indeed requires engineers to care for various concerns, from abstract syntax, static semantics, behavioral semantics, to extra-functional issues such as run-time performance. This paper presents an approach that uses one meta-language per language implementation concern. We show that the usage and combination of those meta-languages is simple and intuitive enough to deserve the term "mashup". We evaluate the approach by completely implementing the non trivial fUML modeling language, a semantically sound and executable subset of the Unified Modeling Language (UML).
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
|
|
URL: https://doi.org/10.1007/s10270-013-0354-4 https://hal.inria.fr/hal-00829839 https://hal.inria.fr/hal-00829839/file/mashup-of-meta-languages.pdf https://hal.inria.fr/hal-00829839/document
|
|
BASE
|
|
Hide details
|
|
24 |
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)
|
|
BASE
|
|
Show details
|
|
25 |
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
|
|
26 |
Towards Language Interfaces for DSLs Integration
|
|
|
|
In: https://hal.inria.fr/hal-01138017 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
27 |
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
|
|
28 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
29 |
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
|
|
30 |
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
|
|
31 |
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
|
|
32 |
Methodology for the derivation of product behavior in a Software Product Line ; Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00926141 ; Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français (2013)
|
|
BASE
|
|
Show details
|
|
33 |
Ingénierie Dirigée par les Modèles : des concepts à la pratique.
|
|
|
|
In: https://hal.inria.fr/hal-00648489 ; Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 (2012)
|
|
BASE
|
|
Show details
|
|
34 |
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
|
|
35 |
Negation for Free!
|
|
|
|
In: https://hal.inria.fr/inria-00629657 ; [Research Report] RR-7749, INRIA. 2011, pp.16 (2011)
|
|
BASE
|
|
Show details
|
|
36 |
Simulation et vérification de modèle par métamodélisation executable
|
|
|
|
In: https://hal.inria.fr/inria-00542740 ; éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3 (2010)
|
|
BASE
|
|
Show details
|
|
37 |
Model Driven Language Engineering with Kermeta
|
|
|
|
In: 3rd Summer School on Generative and Transformational Techniques in Software Engineering ; https://hal.inria.fr/inria-00538461 ; Joao M. Fernandes, Ralf Lammel, Joao Saraiva, Joost Visser. 3rd Summer School on Generative and Transformational Techniques in Software Engineering, LNCS 6491, Springer, 2010 (2010)
|
|
BASE
|
|
Show details
|
|
38 |
Towards Domain-specific Model Editors with Automatic Model Completion
|
|
|
|
In: ISSN: 0037-5497 ; EISSN: 1741-3133 ; SIMULATION ; https://hal.inria.fr/inria-00468513 ; SIMULATION, SAGE Publications, 2009, 3 (12), pp.109-126. ⟨10.1177/0037549709340530⟩ (2009)
|
|
BASE
|
|
Show details
|
|
39 |
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
|
|
|
|
In: https://hal.inria.fr/inria-00477561 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
40 |
Langage et méthode pour une ingénierie des modèles fiable
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00538288 ; Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français (2006)
|
|
BASE
|
|
Show details
|
|
|
|