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.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2003, 2003, IRISA, Rennes, France, 11 p, 2003
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107636
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:03:41
Dernière modification le : mardi 24 avril 2018 - 13:36:31
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:14:53

Identifiants

  • 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, 2003. 〈inria-00107636〉

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

34