Jean-Christophe Bach
IdRefMots clés
FR |
EN
Logiciels -- Développement
Réécriture
Termes
Transformation
Modèles
Traçabilité
Qualification
Design patterns
Réécriture, Systèmes de (informatique)
Logiciels -- Validation
Détournement de flot de contrôle
Sécurité à la conception
Sensibilité aux attaques
Analyse de binaires
Cyberdéfense
Systèmes informatiques -- Mesures de sûreté