Le moteur de recherche
des thèses françaises
Pascal Poizat
IdRefMots clés
FR |
EN
Services Web
Méthodes formelles (informatique)
Génie logiciel
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Ingénierie dirigée par les modèles
Informatique dans les nuages
Logiciels
Systèmes d'information
Architecture logicielle
Ontologie
Ontologies (informatique)
Vérification de modèles
Vérification de modèles (informatique)
Chorégraphie de services
Service web
Passage de valeurs
Conformité
Projection
Réalisabilité