InforLorV4, Hal, Corpus, bibRecord, 005C35

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

Identifieur interne : 005C35 ( Hal/Corpus ); précédent : 005C34; suivant : 005C36

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

Auteurs : Jean-Pierre Jacquot ; Franck Chalaux

Source :

RBID : Hal:inria-00100702

English descriptors

mix :
- génie logiciel, interface-utilisateur, software engineering, spécification, user-interface.

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:

https://hal.inria.fr/inria-00100702

Links to Exploration step

Hal:inria-00100702

Le 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

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.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

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

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

Source :

English descriptors

Abstract

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri