Le moteur de recherche
des thèses françaises
Michel Rueher
IdRefMots clés
FR |
EN
Programmation par contraintes
Arithmétique en virgule flottante
Logiciels -- Vérification
Optimisation mathématique
Vérification de programme
Interprétation abstraite
Informatique
Vérification de programmes
Nombres à virgule flottante
Optimisation
Résolution de problème -- Informatique
Erreurs d'arrondi
Langages de programmation
Calcul sur des intervalles
Génération de tests à partir de modèles,
UML
OCL
Solveur CSP
Pouveur SMT
Collaboration