Faciliter l'écriture de spécifications : une étude de cas
Abstract
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.