Construction et réutilisation de spécifications LOTOS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Construction et réutilisation de spécifications LOTOS

Abstract

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.
Fichier principal
Vignette du fichier
98-R-213.pdf (219.78 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00098706 , version 1

Cite

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. ⟨inria-00098706⟩
29 View
31 Download

Share

Gmail Facebook Twitter LinkedIn More