Une premiere approche de tracabilite entre modeles d'exigences non-fonctionnelles et specifications abstraites Event-B
Résumé
no abstract
Communication Dans Un Congrès
Année : 2011
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224635
Soumis le : mercredi 4 novembre 2015-22:50:20
Dernière modification le : vendredi 27 décembre 2024-19:54:42
Dates et versions
Identifiants
- HAL Id : hal-01224635 , version 1
Citer
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Une premiere approche de tracabilite entre modeles d'exigences non-fonctionnelles et specifications abstraites Event-B. Actes du 29eme Congres INFORSID, 2011, Unknown, Unknown Region. ⟨hal-01224635⟩
35
Consultations
0
Téléchargements