• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut National de Recherche en Informatique et en Automatique (Inria) (15)
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (15)
    • Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique (12)
    • Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1) (12)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (12)
    • Université de Rennes 1 (UR1) (12)
    • Reliable and efficient component based software engineering (TRISKELL) (9)
    • Combemale, Benoit (6)
    • Jézéquel, Jean-Marc (5)
    • Université Rennes 1 (5)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 15 of 15 1 Execution Framework of the GEMOC Studio (Tool Demo) Bousse, Erwan; Degueule, Thomas; Vojtisek, Didier... 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 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 3 Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench Jézéquel, Jean-Marc; Combemale, Benoit; Barais, Olivier... 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) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... 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 Vacchi, Edoardo; Cazzola, Walter; Pillay, Suresh... 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 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 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 7 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 8 Vers un rapprochement de l'IDM et de la compilation Guy, Clément; Derrien, Steven; Combemale, Benoit... 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 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 10 Model Driven Language Engineering with Kermeta Jézéquel, Jean-Marc; Barais, Olivier; Fleurey, Franck 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 Sen, Sagar; Baudry, Benoit; Vangheluwe, Hans 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. Mottu, Jean-Marie; Barais, Olivier; Skipper, Mark... 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 Fleurey, Franck. - : HAL CCSD, 2006 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 Morin-Allory, Katell. - : HAL CCSD, 2004 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 Fradet, Pascal. - : HAL CCSD, 2000 In: https://tel.archives-ouvertes.fr/tel-00011212 ; Génie logiciel [cs.SE]. Université Rennes 1, 2000 (2000) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 15 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0