Yamine Aït-Ameur
IdRefMots clés
FR |
EN
Ontologies (informatique)
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)
Ontologie
Méthodes formelles
Services Web
Modélisation des données (informatique)
Modélisation
Bases de données -- Conception
Flux de travail
Raffinement
B (méthode formelle)
Entrepôts de données
Temps réel (informatique)
Web sémantique
Vérification formelle
Systèmes informatiques
Preuve
IDM
SOA