De KAOS vers Event-B: approche dirigée par les buts

Abstract : no abstract
Type de document :
Communication dans un congrès
Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), 2009, Toulouse, France. Actes AFADL, pp.71-86, 2009
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223275
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:12
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-01223275, version 1

Collections

Citation

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. De KAOS vers Event-B: approche dirigée par les buts. Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), 2009, Toulouse, France. Actes AFADL, pp.71-86, 2009. 〈hal-01223275〉

Partager

Métriques

Consultations de la notice

37