.:. Consultation > Liste par domaine > Génie logiciel .:.

10 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

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]

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]

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]

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]

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]

Décodage des codes algébriques et cryptographie Augot D. Université Pierre et Marie Curie - Paris VI (07/06/2007), Philippe Flajolet (Pr.) [tel-00159149 - version 1]

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]

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 (2005-12-13), Jean-Marc Geib (Pr.) [tel-00439134 - version 1]

Conception et implantation du langage FoC pour le développement de logiciels certifiés Prevosto V. Université Pierre et Marie Curie - Paris VI (2003-09-15), Hardin Thérèse (Dir.) [tel-00007143 - version 1]

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]