Skip to Main content Skip to Navigation
Conference papers

Formalisation des besoins à l'aide de schémas LSCs

Jeanine Souquières 1 Maritta Heisel
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans notre approche pour l'expression des besoins, nous proposons d'intégrer une étape de formalisation très tôt dans le développement afin d'analyser de manière détaillée les besoins des utilisateurs et de découvrir les inconsistances et les problèmes à partir des difficultés rencontrées lors de la formalisation. Afin d'améliorer la lisibilité et l'écriture des besoins formalisés, nous proposons d'utiliser les LSCs, Life Sequence Charts, au lieu des formules sur les traces d'un système (c'est-à-dire des suites d'événements se produisant sur un état du système à un moment donné) pour la formalisation des besoins décomposés sous forme de fragments. Nous proposons, en particulier, des schémas graphiques définis à l'aide des LSCs pour exprimer différents types de besoins. Ces schémas constituent un guide à l'étape de formalisation.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107636
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:03:41 AM
Last modification on : Tuesday, April 24, 2018 - 1:36:31 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:14:53 PM

Identifiers

  • HAL Id : inria-00107636, version 1

Collections

Citation

Jeanine Souquières, Maritta Heisel. Formalisation des besoins à l'aide de schémas LSCs. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2003, 2003, IRISA, Rennes, France, 11 p. ⟨inria-00107636⟩

Share

Metrics

Record views

153

Files downloads

58