Faciliter l'écriture de spécifications : une étude de cas

Jean-Pierre Jacquot 1 Franck Chalaux
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ecrire une spécification est difficile. Si l'activité même de modélisation et de formalisation est la première source de cette difficulté, nous pensons que le langage utilisé y contribue également. Lors de la définitions d'un langage, les technologies utilisées pour le traitement des textes (de l'analyse syntaxique aux outils de validation et vérification) doivent être prises en compte : elles induisent souvent des contraintes défavorable sur l'utilisabilité du langage. Il importe donc de disposer d'outils d'aide à l'écriture qui facilitent le travail du spéficieur. Nous présentons ici un travail sur des outils d'assistance pour des spécifications d'interface utilisateur. Après une présentation succincte du langage, nous analysons quelques difficultés dans son usage. Puis, nous décrivons des outils, réalisés en TYPOL sous CENTAUR, qui permettent d'aider à la création de textes.
Type de document :
Rapport
[Interne] A01-R-317 || jacquot01a, 2001, 17 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00100702
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:49:48
Dernière modification le : mardi 24 avril 2018 - 13:32:49

Identifiants

  • HAL Id : inria-00100702, version 1

Collections

Citation

Jean-Pierre Jacquot, Franck Chalaux. Faciliter l'écriture de spécifications : une étude de cas. [Interne] A01-R-317 || jacquot01a, 2001, 17 p. 〈inria-00100702〉

Partager

Métriques

Consultations de la notice

178