ArgoUML+B : un outil de transformation systématique de spécifications UML en B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00099464 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099464 , version 1

Citer

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. ⟨inria-00099464⟩
81 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More