| 1 |
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
|
|
|
| 2 |
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
|
|
|
| 3 |
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
|
|
|
| 4 |
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
|
|
|
| 5 |
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)
|
|
Abstract:
International audience ; Domain Specific Languages (DSLs) are widely adopted to capitalize on business domain experiences. Consequently, DSL development is becoming a recurring activity. Unfortunately, even though it has its benefits, language development is a complex and time-consuming task. Languages are commonly realized from scratch, even when they share some concepts and even though they could share bits of tool support. This cost can be reduced by employing modern modular programming techniques that foster code reuse. However, selecting and composing these modules is often only within the reach of a skilled DSL developer. In this paper we propose to combine modular language development and variability management, with the objective of capitalizing on existing assets. This approach explicitly models the dependencies between language components, thereby allowing a domain expert to configure a desired DSL, and automatically derive its implementation. The approach is tool supported, using Neverlang to implement language components, and the Common Variability Language (CVL) for managing the variability and automating the configuration. We will further illustrate our approach with the help of a case study, where we will implement a family of DSLs to describe state machines.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
|
|
URL: https://hal.inria.fr/hal-00914715/file/sle13-camera.pdf
https://doi.org/10.1007/978-3-319-02654-1_5
https://hal.inria.fr/hal-00914715/document
https://hal.inria.fr/hal-00914715
|
|
BASE
|
|
Hide details
|
|
|
| 6 |
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
|
|
|
| 7 |
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
|
|
|
| 8 |
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
|
|
|
| 9 |
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
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
| 12 |
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
|
|
|
| 13 |
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
|
|
|
| 14 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Language approaches for program design and implementation ; Approches langages pour la conception et la mise en oeuvre de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011212 ; Génie logiciel [cs.SE]. Université Rennes 1, 2000 (2000)
|
|
BASE
|
|
Show details
|
|
|
|
|
