11647 articles  [english version]
.:. Consultation > Liste par domaine > Génie logiciel .:.
15 documents classés par :
1 - 2 Page Suivante Page Finale
fulltext access Formal verification of a synchronous data-flow compiler : from Signal to C
Ngô V. C.
Université Rennes 1 (01/07/2014), Jean-Pierre Talpin (Dir.) [tel-01067477 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
Benayoun V.
Conservatoire national des arts et metiers - CNAM (16/05/2014), Catherine Dubois (Dir.) [tel-01062785 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Gestion de la variabilité et automatisation des processus de développement logiciel
Rouillé E.
Université Rennes 1 (01/04/2014), Jean-marc Jézéquel (Dir.) [tel-01061129 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Facilités de typage pour l'ingénierie des langages
Guy C.
Université Rennes 1 (10/12/2013), Jean-marc Jézéquel (Dir.) [tel-00917789 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
Creff S.
Université Rennes 1 (09/12/2013), Jean-Marc Jézéquel;Joël Champeau (Dir.) [tel-00926119 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Approche à contraintes pour la sélection de Covering Array
Hervieu A.
Université Rennes 1 Université européenne de Bretagne (09/12/2013), Benoit Baudry;Arnaud Gotlieb (Dir.) [tel-00915223 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Enterprise context-awareness : empowering service users and developers
Chihani B.
Institut National des Télécommunications (05/12/2013), Noël Crespi (Dir.) [tel-01048688 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme
Bennes L.
Université de Technologie de Belfort-Montbeliard (27/11/2013), Jean-Claude Sagot;Florence Bazzaro;Philippe Fuchs;Benoit Jeanne (Dir.) [tel-00931376 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Strategies for context reasoning in assistive livings for the elderly
Tiberghien T.
Institut National des Télécommunications (18/11/2013), Mounir Mokhtari (Dir.) [tel-01048698 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Vues et transformations de programmes pour la modularité des évolutions
Ajouli A.
Ecole des Mines de Nantes (25/09/2013), Jean-Claude Royer (Dir.) [tel-00866997 - version 2]
STAR - Dépôt national des thèses électroniques