Mohamed Tahar Bhiri
IdRefMots clés
FR |
EN
Exigences
Spécification formelle
Liens
Outils
Vérification
Validation
Logiciels -- Développement
Langages formels
Ingénierie des exigences
Design patterns
Méthodes formelles
Décomposition formelle
Systèmes distribués
Raffinement automatique
Génération de code
IDM
DSL
Event-B
BIP
Systèmes autonomes distribués (informatique)