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

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223275
Contributor : Frédéric Gervais <>
Submitted on : Monday, November 2, 2015 - 1:53:12 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • 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. pp.71-86. ⟨hal-01223275⟩

Share

Metrics

Record views

73