Search - Archive ouverte HAL Access content directly

Filter your results

31 Results
Structure: Internal structure identifier : 2539
Image document

Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes

François Fouquet
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S076⟩
Theses tel-00831018v2
Image document

Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques

Mickaël Clavreul
Software Engineering [cs.SE]. Université Rennes 1, 2011. English. ⟨NNT : ⟩
Theses tel-00646893v1
Image document

Qualité de Service Temporelle pour Composants Logiciels

Sébastien Saudrais
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français. ⟨NNT : ⟩
Theses tel-00538267v1
Image document

Model Typing

James Richard Heron Steel
Software Engineering [cs.SE]. Université Rennes 1, 2007. English. ⟨NNT : ⟩
Theses tel-00538274v1
Image document

Langage et méthode pour une ingénierie des modèles fiable

Franck Fleurey
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨NNT : ⟩
Theses tel-00538288v1
Image document

Approche multi-perspective centrée exigences de composition de services Web

Maha Driss
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩
Theses tel-00648131v1
Image document

Rare event simulation for statistical model checking

Cyrille Jegourel
Embedded Systems. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S084⟩
Theses tel-01127612v2
Image document

Analyses Automatiques pour le Test de Programmes Orientés Aspect

Romain Delamare
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Theses tel-00512178v1
Image document

Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs

Franck Chauvel
Génie logiciel [cs.SE]. Université de Bretagne Sud, 2008. Français. ⟨NNT : ⟩
Theses tel-00512189v1
Image document

Question-learn-test-feedback pattern to test emerging software construction paradigms

Benoit Baudry
Génie logiciel [cs.SE]. Université Européenne de Bretagne, 2010
Habilitation à diriger des recherches tel-00553854v1
Image document

Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing

Tam Le Nhan
Software Engineering [cs.SE]. Université Rennes 1, 2013. English. ⟨NNT : ⟩
Theses tel-00923811v1
Image document

Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits

Stephen Creff
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S142⟩
Theses tel-00926119v2
Image document

Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel

Jacques Simonin
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Theses tel-00512182v1
Image document

EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services

Grégory Nain
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩
Theses tel-00646664v2
Image document

Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.

Mariano Belaunde
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français. ⟨NNT : ⟩
Theses tel-00650682v1
Image document

INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté

Nicolas Sannier
Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français. ⟨NNT : ⟩
Theses tel-00941881v1
Image document

Validation of reasoning engines an adaptation mechanisms for self-adaptive systems

Freddy Munoz
Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Theses tel-00538565v1
Image document

Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique

Brice Morin
Software Engineering [cs.SE]. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Theses tel-00538548v1
Image document

Performance des systèmes distribués : proposition d'une plateforme fédératrice de la supervision

Marouane Himda
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français. ⟨NNT : ⟩
Theses tel-00538260v1
Image document

Aspects Comportementaux et Tissage

Jacques Klein
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨NNT : ⟩
Theses tel-00538382v1
Image document

Oracles et qualification du test de transformations de modèles

Jean-Marie Mottu
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Theses tel-00514506v1
Image document

Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.

Erwan Brottier
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨NNT : ⟩
Theses tel-00512174v1
Image document

De la modélisation objet des logiciels à la metamodélisation des langages informatiques

Pierre-Alain Muller
Génie logiciel [cs.SE]. Université Rennes 1, 2006
Habilitation à diriger des recherches tel-00538525v1
Image document

La mesure des modèles par les modèles : une approche générative

Martin Monperrus
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Theses tel-00514492v1
Image document

A model-based method to manage time properties in component based software systems

Viet Hoa Nguyen
Software Engineering [cs.SE]. Université Rennes 1, 2013. English. ⟨NNT : ⟩
Theses tel-00923305v1
Image document

Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle

Paul Istoan
Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français. ⟨NNT : ⟩
Theses tel-00926141v1
Image document

Methodology for the derivation of product behaviour in a Software Product Line

Paul Istoan
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S013⟩
Theses tel-00925479v1
Image document

Des langages pour améliorer le développement et la maintenance des logiciels à base de composants

Régis Fleurquin
Génie logiciel [cs.SE]. Université de Bretagne Sud; Université Européenne de Bretagne, 2010
Habilitation à diriger des recherches tel-00511595v1
Image document

Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices

Olivier Barais
Informatique et langage [cs.CL]. Université de Rennes 1, 2014
Habilitation à diriger des recherches tel-01096952v1
Image document

Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse

Erwan Daubert
Autre [cs.OH]. INSA de Rennes, 2013. Français. ⟨NNT : 2013ISAR0010⟩
Theses tel-00904364v1