Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles
Résumé
no abstract
Communication Dans Un Congrès
Année : 2010
Catherine Oriat : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00953401
Soumis le : vendredi 28 février 2014-11:46:44
Dernière modification le : jeudi 4 avril 2024-21:04:43
Dates et versions
Identifiants
- HAL Id : hal-00953401 , version 1
Citer
Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.197-212. ⟨hal-00953401⟩
131
Consultations
0
Téléchargements