Recherche

tel-00650682v1 Thèse
Mariano Belaunde. Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français

tel-00507530v1 Thèse
Sagar Sen. Découverte automatique de modèles effectifs
Software Engineering [cs.SE]. Université Rennes 1, 2010. English

tel-00459025v1 Thèse
Alexis Muller. Construction de systèmes par application de modèles paramétrés
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français

tel-00931001v2 Thèse
Carlos Ernesto Gómez Cárdenas. Modeling functional and non-functional properties of systems based on a multi-view approach
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. <NNT : 2013NICE4153>

tel-00926119v2 Thèse
Stephen Creff. Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Autre [cs.OH]. Université Rennes 1, 2013. Français. <NNT : 2013REN1S142>

tel-00538382v1 Thèse
Jacques Klein. Aspects Comportementaux et Tissage
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français

tel-00538565v1 Thèse
Freddy Munoz. Validation of reasoning engines an adaptation mechanisms for self-adaptive systems
Software Engineering [cs.SE]. Université Rennes 1, 2010. English

tel-00538548v1 Thèse
Brice Morin. Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
Software Engineering [cs.SE]. Université Rennes 1, 2010. English

tel-00538536v1 Thèse
Damien Pollet. Une architecture pour les transformations de modèles et la restructuration de modèles uml
Génie logiciel [cs.SE]. Université Rennes 1, 2005. Français

tel-00527894v2 Thèse
Mouna Baklouti. Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français

tel-00239261v1 Thèse
Julien Deantoni. SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles
Génie logiciel [cs.SE]. INSA de Lyon, 2007. Français

tel-00512178v1 Thèse
Romain Delamare. Analyses Automatiques pour le Test de Programmes Orientés Aspect
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français

tel-00512189v1 Thèse
Franck Chauvel. Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs
Génie logiciel [cs.SE]. Université de Bretagne Sud, 2008. Français

tel-00512174v1 Thèse
Erwan Brottier. Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français

tel-00512182v1 Thèse
Jacques Simonin. Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français

tel-00553854v1 HDR
Benoit Baudry. Question-learn-test-feedback pattern to test emerging software construction paradigms
Génie logiciel [cs.SE]. Université Européenne de Bretagne, 2010

tel-00514492v1 Thèse
Martin Monperrus. La mesure des modèles par les modèles : une approche générative
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français

tel-00514506v1 Thèse
Jean-Marie Mottu. Oracles et qualification du test de transformations de modèles
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français

tel-00935324v1 Thèse
Amen Souissi. Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs
Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2013. Français

tel-00670221v1 Thèse
De Oliveira Rodrigues Antonio Wendell. A Methodology to Develop High Performance Applications on GPGPU Architectures: Application to Simulation of Electrical Machines
Electromagnetism. Université des Sciences et Technologie de Lille - Lille I, 2012. English

tel-00538525v1 HDR
Pierre-Alain Muller. De la modélisation objet des logiciels à la metamodélisation des langages informatiques
Génie logiciel [cs.SE]. Université Rennes 1, 2006

tel-00321745v1 Thèse
Frédéric Loiret. Tinap : Modèle et infrastructure d'exécution orienté composant pour applications multi-tâches à contraintes temps réel souples et embarquées
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français

tel-00538288v1 Thèse
Franck Fleurey. Langage et méthode pour une ingénierie des modèles fiable
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français

tel-00726420v1 Thèse
Antoine Floc'H. Compilation optimisante pour processeurs extensibles
Architectures Matérielles [cs.AR]. Université Rennes 1, 2012. Français

tel-01361473v1 Thèse
Amani Khecharem. MuVArch : une approche de méta-modélisation pour la représentation multi-vues des architectures hétérogènes embarqués
Autre [cs.OH]. Université Nice Sophia Antipolis, 2016. Français. < NNT : 2016NICE4019 >

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact