Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Côte d'Azur (ComUE) (3)
  • Université Paris-Saclay (ComUE) (3)
  • Bordeaux 1 (1)
  • Evry, Institut national des télécommunications (1)
  • Limoges (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Electronique (1)
  • Informatique et Télécommunication (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (11)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Comet Jean-Paul (2)
  • Cavalli Ana (1)
  • Dallet Dominique (1)
  • Delaunay Franck (1)
  • Filliâtre Jean-Christophe (1)
  • Garoche Pierre-Loïc (1)
  • Henrion Didier (1)
  • Lanet Jean-Louis (1)
  • Le Gal Bertrand (1)
  • Marché Claude (1)
  • Mauny Michel (1)
  • Mezghiche Mohamed (1)
  • Michel Claude (1)
  • Percebois Christian (1)
  • Rueher Michel (1)
  • Souquières Jeanine (1)
  • Tran Hanh Nhi (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (10)
  • Informatique, information, généralités (1)
  • Physique (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

12 thèses pour "Triplet de Hoare"

Informatique et Télécommunication

Soutenue le 08-02-2019
thèse soutenue

...génération des tests par analyse dynamique ABox . . . . . . . . . . . . 1264.5 Triplet de Hoare incorrect...

Accéder en ligne

.... . . . . . . . . . . . . . . . . . . . . 53Transition discrète . . . . . . . . . . . . . . . . . . . . . . 53Triplet de Hoare...

Accéder en ligne

...’ensemble des fonctions transformant uneme´moire en une autre : P = MM.2.3.1 Triplet de Hoare...

Accéder en ligne

....Tout d’abord, pour transcrire une trajectoire cyclique dans le triplet de Hoare, il estlogique que la pre...

Accéder en ligne

....2)7.1.2 Analogie avec le triplet de HoareCe triplet, décrit par la formule {P} I {Q}, exprime la propriété : "pour...

Accéder en ligne

...estalors appelé un triplet de Hoare, représenté par la notation P c Q .Un triplet de Hoare P c Q est alors...

Accéder en ligne

...description logicielle. Elle permet de décrire les évolutionspossibles d un programme. Le triplet de Hoare est...

Accéder en ligne

.... Pour un programme (ou une partie d’un programme) S, onaura le triplet de Hoare suivant : {P} S {Q} ou...

Accéder en ligne

...Prouver la correction d’un programme revient à s’assurer de la validitédu triplet suivant, appelé triplet de...

Accéder en ligne

Résultats 1 à 10