Pierre Courtieu
IdRefMots clés
FR |
EN
Génie logiciel empirique
Assistant de preuve
GitHub
Collaboration ouverte
Ecosystème de paquets
Evolution du logiciel
Logiciels -- Maintenance
Logiciels libres
Coq (logiciel)
Git (logiciel)
Compilation
Vérification
Parallélisme
Modularité
Assistants de preuve
Programmation parallèle (informatique)
Microprocesseurs multi-coeurs
Compilation (informatique)
Débogage