Faciliter l'écriture de spécifications : une étude de cas
Identifieur interne : 005C35 ( Hal/Corpus ); précédent : 005C34; suivant : 005C36Faciliter l'écriture de spécifications : une étude de cas
Auteurs : Jean-Pierre Jacquot ; Franck ChalauxSource :
English descriptors
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.
Url:
Links to Exploration step
Hal:inria-00100702Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Faciliter l'écriture de spécifications : une étude de cas</title>
<author><name sortKey="Jacquot, Jean Pierre" sort="Jacquot, Jean Pierre" uniqKey="Jacquot J" first="Jean-Pierre" last="Jacquot">Jean-Pierre Jacquot</name>
<affiliation><hal:affiliation type="researchteam" xml:id="struct-2492" status="OLD"><orgName>Development of specifications</orgName>
<orgName type="acronym">DEDALE</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/dedale</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
<author><name sortKey="Chalaux, Franck" sort="Chalaux, Franck" uniqKey="Chalaux F" first="Franck" last="Chalaux">Franck Chalaux</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00100702</idno>
<idno type="halId">inria-00100702</idno>
<idno type="halUri">https://hal.inria.fr/inria-00100702</idno>
<idno type="url">https://hal.inria.fr/inria-00100702</idno>
<date when="2001">2001</date>
<idno type="wicri:Area/Hal/Corpus">005C35</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Faciliter l'écriture de spécifications : une étude de cas</title>
<author><name sortKey="Jacquot, Jean Pierre" sort="Jacquot, Jean Pierre" uniqKey="Jacquot J" first="Jean-Pierre" last="Jacquot">Jean-Pierre Jacquot</name>
<affiliation><hal:affiliation type="researchteam" xml:id="struct-2492" status="OLD"><orgName>Development of specifications</orgName>
<orgName type="acronym">DEDALE</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/dedale</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
</affiliation>
</author>
<author><name sortKey="Chalaux, Franck" sort="Chalaux, Franck" uniqKey="Chalaux F" first="Franck" last="Chalaux">Franck Chalaux</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>génie logiciel</term>
<term>interface-utilisateur</term>
<term>software engineering</term>
<term>spécification</term>
<term>user-interface</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">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.</div>
</front>
</TEI>
<hal api="V3"><titleStmt><title xml:lang="fr">Faciliter l'écriture de spécifications : une étude de cas</title>
<author role="aut"><persName><forename type="first">Jean-Pierre</forename>
<surname>Jacquot</surname>
</persName>
<email>Jean-Pierre.Jacquot@loria.fr</email>
<idno type="halauthor">130604</idno>
<orgName ref="#struct-364475"></orgName>
<affiliation ref="#struct-2492"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Franck</forename>
<surname>Chalaux</surname>
</persName>
<email></email>
<idno type="halauthor">131951</idno>
</author>
<editor role="depositor"><persName><forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</editor>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2006-09-26 14:49:48</date>
<date type="whenModified">2016-05-19 01:04:09</date>
<date type="whenReleased">2006-09-28 15:22:47</date>
<date type="whenProduced">2001</date>
</edition>
<respStmt><resp>contributor</resp>
<name key="108626"><persName><forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">inria-00100702</idno>
<idno type="halUri">https://hal.inria.fr/inria-00100702</idno>
<idno type="halBibtex">jacquot:inria-00100702</idno>
<idno type="halRefHtml">[Interne] A01-R-317 || jacquot01a, 2001, 17 p</idno>
<idno type="halRef">[Interne] A01-R-317 || jacquot01a, 2001, 17 p</idno>
</publicationStmt>
<seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="LORIA-FM" p="LORIA">Méthodes formelles</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
</seriesStmt>
<notesStmt><note type="commentary">Rapport interne.</note>
<note type="audience" n="0">Not set</note>
<note type="report" n="3">Intern report</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Faciliter l'écriture de spécifications : une étude de cas</title>
<author role="aut"><persName><forename type="first">Jean-Pierre</forename>
<surname>Jacquot</surname>
</persName>
<email>Jean-Pierre.Jacquot@loria.fr</email>
<idno type="halAuthorId">130604</idno>
<orgName ref="#struct-364475"></orgName>
<affiliation ref="#struct-2492"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Franck</forename>
<surname>Chalaux</surname>
</persName>
<idno type="halAuthorId">131951</idno>
</author>
</analytic>
<monogr><idno type="reportNumber">A01-R-317 || jacquot01a</idno>
<imprint><biblScope unit="pp">17 p</biblScope>
<date type="datePub">2001</date>
</imprint>
</monogr>
</biblStruct>
</sourceDesc>
<profileDesc><langUsage><language ident="fr">French</language>
</langUsage>
<textClass><keywords scheme="author"><term xml:lang="en">génie logiciel</term>
<term xml:lang="en">user-interface</term>
<term xml:lang="en">software engineering</term>
<term xml:lang="en">spécification</term>
<term xml:lang="en">interface-utilisateur</term>
</keywords>
<classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
<classCode scheme="halTypology" n="REPORT">Reports</classCode>
</textClass>
<abstract xml:lang="fr">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.</abstract>
</profileDesc>
</hal>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 005C35 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 005C35 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Hal |étape= Corpus |type= RBID |clé= Hal:inria-00100702 |texte= Faciliter l'écriture de spécifications : une étude de cas }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |