Formalisation des besoins à l'aide de schémas LSCs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
A03-R-009.pdf (65.16 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00107636 , version 1 (19-10-2006)

Identifiers

  • HAL Id : inria-00107636 , version 1

Cite

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⟩
98 View
64 Download

Share

Gmail Facebook X LinkedIn More