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