|
|
Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes
François Fouquet
Theses
tel-00831018v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Model Typing
James Richard Heron Steel
Software Engineering [cs.SE]. Université Rennes 1, 2007. English. ⟨NNT : ⟩
Theses
tel-00538274v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Rare event simulation for statistical model checking
Cyrille Jegourel
Theses
tel-01127612v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Stephen Creff
Theses
tel-00926119v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Aspects Comportementaux et Tissage
Jacques Klein
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français. ⟨NNT : ⟩
Theses
tel-00538382v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Methodology for the derivation of product behaviour in a Software Product Line
Paul Istoan
Theses
tel-00925479v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse
Erwan Daubert
Theses
tel-00904364v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|