Anne-Marie Dery-Pinna
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Ingénierie
Programmation fonctionnelle (informatique)
Résolution de problème -- Informatique
Grammaires formelles
Ingénierie dirigée par les modèles
Génie logiciel
Lignes de produits logiciels
Variabilité logicielle
Modèle de variabilité
Rétro-Ingénierie
Visualisation
Logiciels -- Développement
Systèmes, Conception de
Systèmes d'exploitation orientés objets