1 |
Automatic Guide Generation for Stan via NumPyro
|
|
|
|
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
|
|
BASE
|
|
Show details
|
|
2 |
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
|
|
3 |
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
|
|
4 |
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
|
|
5 |
Using Crowd-sourcing to Improve the Semantic Transparency of Committee-Designed Languages
|
|
|
|
In: ITSLE @ 7th International Conference on Software Language Engineering (SLE) ; https://hal.inria.fr/hal-01057526 ; ITSLE @ 7th International Conference on Software Language Engineering (SLE), Sep 2014, Vasteras, Sweden ; http://www.sleconf.org/2014/ITSLE.html (2014)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
8 |
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
|
|
9 |
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
|
|
10 |
A metamodel specification for uml tools adaptation ; Spécification d'un Métamodèle pour l'adaptation des outils UML
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00997773 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français (2013)
|
|
BASE
|
|
Show details
|
|
11 |
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
|
|
12 |
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
|
|
|
|
In: ISSN: 0948-695X ; EISSN: 0948-6968 ; Journal of Universal Computer Science ; https://hal.inria.fr/hal-00718134 ; Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (6), pp.816-844 (2012)
|
|
BASE
|
|
Show details
|
|
13 |
A text-based approach to feature modelling: Syntax and semantics of TVL
|
|
|
|
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00718291 ; Science of Computer Programming, Elsevier, 2011, 76 (12), pp.1130-1143. ⟨10.1016/j.scico.2010.10.005⟩ (2011)
|
|
BASE
|
|
Show details
|
|
14 |
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
|
|
15 |
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
|
|
16 |
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
|
|
17 |
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
|
|
18 |
Streaming Tree Automata and XPath ; Flux XML, Requêtes XPath et Automates
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00421911 ; Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English (2009)
|
|
BASE
|
|
Show details
|
|
19 |
A Set of Model-Oriented Tools for Developing and Validating Annotation-Based Frameworks ; Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00668953 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français (2008)
|
|
BASE
|
|
Show details
|
|
20 |
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
|
|
|
|