Les différentes vues d'un développement d'une spécification formelle dans l'environnement PROPLANE

Rafael Marcano Kamenoff 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Mieux comprendre l'activité de spécification est un des principaux problèmes considérés par le modèle PROPLANE. l'évolution de la maquette Proplane vise à étudier et compléter la représentation d'un état de développement. l'objectif de ce travail porte sur la définition de différentes vues du développement en cours à proposer à l'utilisateur. En effet, à chaque étape, le spécifieur a besoin de visualiser un certain nombre d'informations. Il peut avoir besoin de visualiser une partie de la spécification ou du méta-programme. l'approche orientée objet a été utilisée pour la modélisation de la maquette PROPLANE existante dans le but de décrire ses composants et leur comportement. La conception des vues à été faite en modifiant le modèle objet et en les définissant à partir des informations présentes dans le méta-programme. Celles-ci ont été définies comme des extensions du modèle, par rapport aux objets identifiés initialement.
Type de document :
Rapport
[Stage] 98-R-374 || marcano_kamenoff98a, 1998, 55 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00108031
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:40:17
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

  • HAL Id : inria-00108031, version 1

Collections

Citation

Rafael Marcano Kamenoff. Les différentes vues d'un développement d'une spécification formelle dans l'environnement PROPLANE. [Stage] 98-R-374 || marcano_kamenoff98a, 1998, 55 p. 〈inria-00108031〉

Partager

Métriques

Consultations de la notice

58