Formalisation des besoins à l'aide de schémas LSCs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00107636 , version 1

Citer

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 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More