• 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) Abstract: Par "approche langage" on entend désigner une approche qui s'exprime, soit dans un langage de programmation, soit par un langage de programmation. Les approches qui s'expriment dans le langage ne font appel à aucun formalisme éloigné (e.g. sémantique). Le langage de programmation est l'unique cadre de travail pour exprimer le problème, le résoudre et appliquer la solution. Nous montrons : - comment la compilation des langages fonctionnels peut s'exprimer dans le langage lui-même par transformation de programme. Ce cadre unifié permet de décrire, prouver, comparer et classifier la plupart des mises en œuvre de langages fonctionnels, - deux optimisations de l'implémentation des langages fonctionnels (une analyse de globalisation et un GC étendu) qui reposent sur la syntaxe et le type des expressions. Pour les approches qui s'expriment par un langage de programmation, il s'agit de prévenir le problème ou d'assurer une propriété via l'utilisation d'un langage (ou d'une discipline de programmation). Nous illustrons ce style d'approche par trois exemples : - les types graphes qui permettent de définir et vérifier le partage des structures de données à pointeurs, - un langage dédié au parallélisme qui garantit une analyse de coût précise et un choix automatique de la meilleure distribution, - un style de programmation par aspects qui permet d'imposer automatiquement des propriétés aux programmes. Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; analyse statique; aspect-oriented programming; compilation; domain-specific languages; functional programming; langages dédiés; program transformation; programmation fonctionnelle; programmation par aspects; static analysis; transformation de programme; typage; typing URL: https://tel.archives-ouvertes.fr/tel-00011212/file/HDR-PF.pdf https://tel.archives-ouvertes.fr/tel-00011212 https://tel.archives-ouvertes.fr/tel-00011212/document BASE Hide 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