Le moteur de recherche
des thèses françaises
Régine Laleau
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Ingénierie dirigée par les modèles
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles
Ontologies (informatique)
Ingénierie des exigences
Event-B
SysML (informatique)
Modélisation
Génie logiciel
Contrôle d'accès
Systèmes d'information
Protection de l'information (informatique)
Raffinement
Vérification
B (méthode formelle)
Ontologie
Vérification de modèles (informatique)
Sûreté et sécurité
Système d'information