Le moteur de recherche
des thèses françaises
Lydie du Bousquet
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Test
Logiciels -- Validation
Validation
Simulation
Exécution symbolique
Praspel
Génération de données
Génération automatique de tests unitaires
PHP
Qualité logiciel
Modèle de faute
Interfaces graphiques (informatique)
Interaction humain-machine
Systèmes hybrides
Propriétés de sûreté
Domotique
Services
Cloud Computing
Élasticité