Intégration de données formelles dans les diagrammes d'états d'UML - Archive ouverte HAL
Communication Dans Un Congrès Année : 2003

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

Résumé

no abstract

Mots clés

Fichier non déposé

Dates et versions

hal-00458199 , version 1 (19-02-2010)

Identifiants

  • HAL Id : hal-00458199 , version 1

Citer

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⟩
115 Consultations
0 Téléchargements

Partager

More