Hanh Nhi Tran
IdRefMots clés
FR |
EN
Transformation de graphe
Vérification
Assistance
Preuve
Triplet de Hoare
Test
Smalltalk (langage de programmation)
UML (informatique)
Logiciels -- Développement
Design patterns
Collaboration
Processus
Patron
Flexibilité
Logiciels de groupe
Travail collaboratif
Systèmes d'information -- Gestion
Environnement de processus centré sur l'utilisateur
Mécanisme d'exécution piloté par les données
BPM