Intégration de données formelles dans les diagrammes d'états d'UML

Résumé : no abstract
Keywords : Method Integration
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00458199
Contributor : Ls2n Hal <>
Submitted on : Friday, February 19, 2010 - 4:09:42 PM
Last modification on : Thursday, February 7, 2019 - 3:46:07 PM

Identifiers

  • HAL Id : hal-00458199, version 1

Citation

Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17. ⟨hal-00458199⟩

Share

Metrics

Record views

239