Sana Debbech
IdRefMots clés
FR |
EN
Ingénierie des exigences
Sécurité ferroviaire
Analyse dysfonctionnelle
Ingénierie des exigences dirigée par les buts
Modélisation conceptuelle
Ontologies
UFO
OWL
Modèle Or-BAC
Analyse fonctionnelle
Mesures de sécurité
Ontologie
Architecture de haut niveau
Exigence
Alignement
SysML/KAOS - SysML
Transformation de modèles
Spécification formelle
Méthode Event -B
SysML (informatique)