Le moteur de recherche
des thèses françaises
Julien Signoles
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Vérification de programmes
Systèmes informatiques -- Mesures de sûreté
Langage de spécification
Rétro-ingénierie (informatique)
Langages de programmation -- Sémantique
Test unitaire
Preuve de programmes
Combinaison d'analyse
Couverture de code
Logiciels -- Développement
Interprétation abstraite
Méthodes formelles (informatique)
Android
Analyse de Maliciels
Ingénierie Inverse
Chargement de Classe
Brouillage de Code
Google Android Studio (environnement de développement d'applications)
Langages de programmation