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
Ingénierie des exigences
Event-B
SysML (informatique)
Ontologies (informatique)
Génie logiciel
Contrôle d'accès
Systèmes d'information
Protection de l'information (informatique)
Raffinement
Modélisation
Vérification
B (méthode formelle)
Sûreté et sécurité
Système d'information
Langages de programmation
Filtres (informatique)