Iulian Ober
IdRefMots clés
FR |
EN
Ingénierie des exigences
SysML (informatique)
Ingénierie dirigée par les modèles
SysML
Temps réel (informatique)
Architecture de haut niveau
Exigence
Alignement
SysML/KAOS - SysML
Transformation de modèles
Spécification formelle
Méthode Event -B
B (méthode formelle)
Architecture -- Informatique
Systèmes embarqués
Analyse de la trace d'exécution
Analyse temporelle
Simulation
Graphes de dépendance
Ingénierie système à base de modèles (MBSE)