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)
Web sémantique
Bases de données -- Conception
Flux de travail
Entrepôts de données
B (méthode formelle)
Raffinement
Représentation des connaissances
Temps réel (informatique)
Vérification formelle
SOA
Ontologies
Systèmes informatiques