Le moteur de recherche
des thèses françaises
Théo Zimmermann
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)
Qualité logicielle
Software craftsmanship
Pratiques de code
Outils d'analyse statique
Code source (informatique)
Documentation
Logiciels -- Vérification
Développeurs de logiciels