Spelling suggestions: "subject:"ingénierie dde domaine"" "subject:"ingénierie dee domaine""
1 |
Ingénierie Formelle de Domaine: Des Spécifications à la ValidationMashkoor, Atif 12 July 2011 (has links) (PDF)
Le thème principal de cette recherche est d'étudier et développer des techniques pour la modélisation des systèmes où la sécurité est critique. Cette thèse est focalisé sur l'étape de la spécification du domaine où de tels systèmes vont fonctionner, et de sa validation. La contribution de cette thèse est double. D'abord, nous modélisons le domaine des transports terrestres, un bon candidat pour cette étude en raison de sa nature critique vis-à-vis de la sécurité, dans le cadre formel de B événementiel et proposent quelques directives pour cette activité. Ensuite, nous présentons une approche, basée sur les techniques de l'animation et des transformations, pour la validation par étapes des spécifications formelles.
|
Page generated in 0.0529 seconds