Éric Le Pors
IdRefMots clés
FR |
EN
Génie logiciel
Débogueurs voyageant dans le temps
Requêtes de voyage dans le temps
Données d’exécution
Débogage
Logiciels -- Développement
Mémoire partagée répartie
Pharo (langage de programmation)
Model checking
Diagnostic
Taxonomie de Bloom
Méthode de résolution de problèmes
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Analyse des systèmes
Ordinateurs -- Fiabilité
Résolution de problème -- Informatique
Cognition
Modèles mathématiques
Complexité technologique