Construction et réutilisation de spécifications LOTOS

Samira Sadaoui 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Notre objectif est d'assister le spécifieur dans sa démarche de construction, de réutilisation et d'adaptation de spécifications LOTOS. Nous utilisons pour cela le modèle Proplane qui permet de décrire différentes étapes de développement de spécification et de mémoriser les décisions prises ainsi que leurs justifications. Dans ce papier, nous présentons une approche de construction de spécifications LOTOS : le style orienté processus et étudions deux exemples de réutilisation : adjonction d'un composant dans une architecture et réutilisation d'un style d'architecture.
Type de document :
Communication dans un congrès
AFADL : Approches Formelles dans l'Assistance au développement de Logiciels, 1998, Toulouse, France, 13 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098706
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:18:32
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:39:40

Fichiers

Identifiants

  • HAL Id : inria-00098706, version 1

Collections

Citation

Samira Sadaoui. Construction et réutilisation de spécifications LOTOS. AFADL : Approches Formelles dans l'Assistance au développement de Logiciels, 1998, Toulouse, France, 13 p, 1998. 〈inria-00098706〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

30