Faciliter l'écriture de spécifications : une étude de cas - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

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

Jean-Pierre Jacquot
  • Fonction : Auteur
  • PersonId : 835382
Franck Chalaux
  • Fonction : Auteur

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.
Fichier non déposé

Dates et versions

inria-00100702 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100702 , version 1

Citer

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⟩
101 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More