Benoit Baudry
Mots clés
FR |
EN
Ingénierie dirigée par les modèles
Génie logiciel
UML (informatique)
Logiciels -- Vérification
Traitement automatique du langage naturel
Lignes de produits
Conception orientée objets (informatique)
Diversité logicielle
Authentification
Web
Logiciels libres
Langage de modélisation
Langage spécialisé
UML
Profils UML
Cadre architectural
Points de vue
ISO42010
Théorie des catégories, (Cohérence, Alignement, Correspondances)
Logiciels -- Validation