2453 articles  [version française]
.:. Browse > List by subject > Software Engineering .:.
12 documents ordered by :

fulltext access Synthèse dynamique de médiateurs dans les environnements ubiquitaires
Bennaceur A.
Université Pierre et Marie Curie - Paris VI (2013-07-18), Valérie Issarny (Dir.) [tel-00849402 - version 2]
fulltext access Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions
Saha S.
Université Pierre et Marie Curie - Paris VI (25/03/2013), Gilles Muller (Dir.) [tel-00937807 - version 1]
fulltext access Etude de l'apport des méthodes formelles déductives pour les développements de sécurité
Jaeger E.
Université Pierre et Marie Curie - Paris VI (08/03/2010), Thérèse Hardin (Dir.) [tel-00468914 - version 1]
fulltext access Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis.
Renault X.
Université Pierre et Marie Curie - Paris VI (03/12/2009), Fabrice Kordon (Dir.) [tel-00577646 - version 1]
fulltext access Modélisation et apprentissage des préférences appliqués à la recommandation dans les systèmes d'impression
Labbé V.
Université Pierre et Marie Curie - Paris VI (22/09/2009), Bernadette Bouchon-Meunier (Dir.) [tel-00814267 - version 1]
fulltext access Interact : un modèle général de contrat pour la garantie des assemblages de composants et services
Ozanne A.
Université Pierre et Marie Curie - Paris VI (30/11/2007), Jacques Malenfant (Dir.) [tel-00292148 - version 2]
fulltext access Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles
Labbé S.
Université Pierre et Marie Curie - Paris VI (26/09/2007), Marc Pouzet (Dir.) [tel-00180174 - version 1]
fulltext access Décodage des codes algébriques et cryptographie
Augot D.
Université Pierre et Marie Curie - Paris VI (2007-06-07), Philippe Flajolet (Pr.) [tel-00159149 - version 1]
fulltext access Algèbres de Processus Réversibles
Krivine J.
Université Pierre et Marie Curie - Paris VI (16/11/2006), Jean-Jacques Lévy (Dir.) [tel-00519528 - version 1]
fulltext access Réflexivité, aspects et composants pour l'ingénierie des intergiciels et des applications réparties
Seinturier L.
Université Pierre et Marie Curie - Paris VI (13/12/2005), Jean-Marc Geib (Pr.) [tel-00439134 - version 1]
fulltext access Conception et implantation du langage FoC pour le développement de logiciels certifiés
Prevosto V.
Université Pierre et Marie Curie - Paris VI (15/09/2003), Hardin Thérèse (Dir.) [tel-00007143 - version 1]
fulltext access Modélisation de la notion de test de programmes; application à la production de jeux de tests
Bougé L.
Université Pierre et Marie Curie - Paris VI (08/10/1982), Bernard Robinet (Dir.) [tel-00416558 - version 1]