.:. Browse > List by subject > Software Engineering .:.

10 documents ordered by : Date Title first author name document type Submit date

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]