Le paradigme objet pour l'aide au développement de spécifications formelles B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2000

Le paradigme objet pour l'aide au développement de spécifications formelles B

Eric Meyer
  • Fonction : Auteur
  • PersonId : 835335

Résumé

Cet article présente l'utilisation de techniques à objets et du modèle PROPLANE pour l'aide au développement de spécifications B. Quelques étapes caractéristiques de la production de spécifcations sont mises en évidence. Ces étapes sont modélisées par l'application d'opérateurs de développement. Un opérateur fait évoluer le développement en apportant des informations sur la planification du travail à réaliser, en construisant progressivement un modèle à objets de type UML ainsi qu'un schéma prédéfini de spécification.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00099301 , version 1

Citer

Eric Meyer, Jeanine Souquières. Le paradigme objet pour l'aide au développement de spécifications formelles B. [Interne] A00-R-136 || meyer00a, 2000, 28 p. ⟨inria-00099301⟩
27 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More