Helping specification writers: a case study

Jean-Pierre Jacquot 1 Franck Chalaux
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Writing specifications is difficult. If most part of the difficulty comes from the activities of modeling and formalizing themselves, we think that the language used plays also a role. Language designers must take into account the technology used for processing the texts (from parsing to validation and verification tools); this imposes extra constraints which impact negatively on th usability of the language. It is then important to provide specifiers with tools to help write specifications. We present in this paper tools to help write specification for user-interfaces. These tools use static semantics constraints to generate parts of the text. They have been implemented in TYPOL under the system CENTAUR.
Type de document :
Rapport
[Intern report] A01-R-318 || jacquot01b, 2001, 16 p
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00100703, version 1

Collections

Citation

Jean-Pierre Jacquot, Franck Chalaux. Helping specification writers: a case study. [Intern report] A01-R-318 || jacquot01b, 2001, 16 p. 〈inria-00100703〉

Partager

Métriques

Consultations de la notice

80