• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-SE]Computer Science [cs] / Software Engineering [cs.SE] (3)
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING / D.2.2: Design Tools and Techniques (1)
    • ACM: I.: Computing Methodologies / I.6: SIMULATION AND MODELING (1)
    • ACM: I.: Computing Methodologies / I.6: SIMULATION AND MODELING / I.6.8: Types of Simulation / I.6.8.3: Discrete event (1)
    • DSMLs Domain Specific Modeling Languages (1)
    • Eclipse Modeling Framework (1)
    • Executable Modeling Language (1)
    • Language workbenches (1)
    • Model execution (1)
    • Modeling workbenches (1)
    • Omniscient debugging (1)
  • 
    Creator / Publisher:
    
    • Institut National de Recherche en Informatique et en Automatique (Inria) (3)
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (3)
    • Vojtisek, Didier (3)
    • Combemale, Benoit (2)
    • 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 (2)
    • 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) (2)
    • Jézéquel, Jean-Marc (2)
    • Reliable and efficient component based software engineering (TRISKELL) (2)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (2)
    • Université de Rennes 1 (UR1) (2)
    •   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 – 3 of 3 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 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 3 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; Vojtisek, Didier; Jézéquel, Jean-Marc In: https://hal.inria.fr/inria-00477561 ; 2007 (2007) Abstract: Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisation exécutable Kermeta. L'accent dans cette courte présentation est mis sur les cas d'utilisation possibles de cette brique logicielle et l'intér{ê}t des choix techniques retenus : un support natif du paradigme de Conception par Contrats (Design by Contract) dans Kermeta et une transformation de modèle du méta-modèle OCL au méta-modèle Kermeta pour le support de la syntaxe concrète OCL. ; Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisation exécutable Kermeta. L'accent dans cette courte présentation est mis sur les cas d'utilisation possibles de cette brique logicielle et l'intér{ê}t des choix techniques retenus : un support natif du paradigme de Conception par Contrats (Design by Contract) dans Kermeta et une transformation de modèle du méta-modèle OCL au méta-modèle Kermeta pour le support de la syntaxe concrète OCL. Keyword: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] URL: https://hal.inria.fr/inria-00477561/document https://hal.inria.fr/inria-00477561/file/Mottu07a.pdf https://hal.inria.fr/inria-00477561 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 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0