DARRICAU Myriam
Doctorante à Sorbonne Université -
APA
Direction de recherche : Jean-Gabriel GANASCIA
Co-encadrement : HADJ-MABROUK H.
Capitalisation, évaluation et réutilisation des erreurs des logiciels critiques de sécurité . Application à la certification des systèmes de transport guidés
Soutenance : 04/02/1999 Date de départ : 04/02/2000
Publications 1997-1999
Toutes
Articles de revues
Communications
Soutenance de thèse
1999
1998
1997
M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Une approche pour la réutilisation des spécifications de logiciels. Application au domaine de la sécurité des systèmes de transport guidés ”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. EC2 (45), pp. 2-8, (Génie industriel multimédia) (1997)
M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Acquisition and structuration of knowledge of safety critical software specifications ”, 8th IFAC Symposium on Transportation Systems, vol. 30 (8), IFAC Proceedings Volumes, Chania, Greece, pp. 1151-1155, (Elsevier) (1997)