ArgoUML+B : un outil de transformation systématique de spécifications UML en B

Hung Ledang 1 Jeanine Souquières 1 Sebastien Charles 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les schémas de dérivation d'UML en B visent un double objectif. D'une part, ils permettent d'utiliser les spécifications UML comme point de départ du processus de développement de spécifications B. D'autre part, ils permettent d'utiliser les outils de B pour analyser les spécifications B dérivées afin d'identifier les défauts au sein des spécifications UML. Ce papier décrit le prototype ArgoUML+B, une extension d'ArgoUML. ArgoUML est un outil écrit en Java dont la source est disponible, permettant d'éditer des diagrammes UML. ArgoUML+B concerne la transformation de diagrammes UML en spécifications B.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2003, 2003, IRISA, Rennes, France, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099464
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:14:08
Dernière modification le : mardi 24 avril 2018 - 13:34:49

Identifiants

  • HAL Id : inria-00099464, version 1

Collections

Citation

Hung Ledang, Jeanine Souquières, Sebastien Charles. ArgoUML+B : un outil de transformation systématique de spécifications UML en B. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2003, 2003, IRISA, Rennes, France, 2003. 〈inria-00099464〉

Partager

Métriques

Consultations de la notice

89