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

Eric Meyer 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Rapport
[Interne] A00-R-136 || meyer00a, 2000, 28 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099301
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:36
Dernière modification le : mardi 24 avril 2018 - 13:34:47

Identifiants

  • HAL Id : inria-00099301, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

41