DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 27

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
Méndez Acuña, David Fernando. - : HAL CCSD, 2016
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
Istoan, Paul. - : HAL CCSD, 2013
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
El Kouhen, Amine. - : HAL CCSD, 2013
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.
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
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
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
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
Gauwin, Olivier. - : HAL CCSD, 2009
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
Noguera, Carlos. - : HAL CCSD, 2008
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

Page: 1 2

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
27
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern