InforLorV4, Main, Exploration, bibRecord, 00AA88

De l'élicitation des besoins à la spécification formelle

Identifieur interne : 00AA88 ( Main/Exploration ); précédent : 00AA87; suivant : 00AA89

De l'élicitation des besoins à la spécification formelle

Auteurs : M. Heisel [Allemagne] ; J. Souquieres [France]

Source :

TSI. Technique et science informatiques [ 0752-4072 ] ; 1999.

RBID : Pascal:99-0537510

Descripteurs français

Pascal (Inist)
- Elicitation, Spécification formelle, Résolution problème, Compréhension, Interaction, Validation, Méthode, Besoin, Système informatique, Agenda, Expression besoins.
Wicri :
- topic : Système informatique.
mix :
- agenda, formal specifications, interactions, method, méthode, requirements elicitation, spécifications formelles, validation, élicitation des besoins.

English descriptors

KwdEn :
- Comprehension, Computer system, Elicitation, Formal specification, Interaction, Method, Need, Problem solving, Validation.

Abstract

Cet article présente une méthode pour l'élicitation et l'expression des besoins. Elle est basée sur une analyse détaillée des besoins permettant une meilleure compréhension du problème à résoudre. L'approche - qui établit une distinction claire entre besoins et spécifications - conduit naturellement à l'expression d'une spécification formelle. Elle ne présente pas de nouveaux langages mais repose sur l'utilisation de techniques existantes. Les agendas sont utilisés pour décrire la méthode.

Url:

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

Affiliations:

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">De l'élicitation des besoins à la spécification formelle</title>
<author><name sortKey="Heisel, M" sort="Heisel, M" uniqKey="Heisel M" first="M." last="Heisel">M. Heisel</name>
<affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Fakultät für Informatik, Universität Magdeburg</s1>
<s2>39016 Magdeburg</s2>
<s3>DEU</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Allemagne</country>
<wicri:noRegion>39016 Magdeburg</wicri:noRegion>
<wicri:noRegion>Universität Magdeburg</wicri:noRegion>
<wicri:noRegion>39016 Magdeburg</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA-Université Nancy 2 B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">99-0537510</idno>
<date when="1999">1999</date>
<idno type="stanalyst">PASCAL 99-0537510 INIST</idno>
<idno type="RBID">Pascal:99-0537510</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000A85</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000D85</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000A53</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000A53</idno>
<idno type="wicri:doubleKey">0752-4072:1999:Heisel M:de:l:elicitation</idno>
<idno type="wicri:Area/Main/Merge">00B141</idno>
<idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00098954</idno>
<idno type="url">https://hal.inria.fr/inria-00098954</idno>
<idno type="wicri:Area/Hal/Corpus">005973</idno>
<idno type="wicri:Area/Hal/Curation">005973</idno>
<idno type="wicri:Area/Hal/Checkpoint">006496</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">006496</idno>
<idno type="wicri:doubleKey">0752-4072:1999:Heisel M:de:l:elicitation</idno>
<idno type="wicri:Area/Main/Merge">00B280</idno>
<idno type="wicri:Area/Main/Curation">00AA88</idno>
<idno type="wicri:Area/Main/Exploration">00AA88</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">De l'élicitation des besoins à la spécification formelle</title>
<author><name sortKey="Heisel, M" sort="Heisel, M" uniqKey="Heisel M" first="M." last="Heisel">M. Heisel</name>
<affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Fakultät für Informatik, Universität Magdeburg</s1>
<s2>39016 Magdeburg</s2>
<s3>DEU</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Allemagne</country>
<wicri:noRegion>39016 Magdeburg</wicri:noRegion>
<wicri:noRegion>Universität Magdeburg</wicri:noRegion>
<wicri:noRegion>39016 Magdeburg</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA-Université Nancy 2 B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">TSI. Technique et science informatiques</title>
<title level="j" type="abbreviated">TSI, Tech. sci. inform.</title>
<idno type="ISSN">0752-4072</idno>
<imprint><date when="1999">1999</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">TSI. Technique et science informatiques</title>
<title level="j" type="abbreviated">TSI, Tech. sci. inform.</title>
<idno type="ISSN">0752-4072</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Comprehension</term>
<term>Computer system</term>
<term>Elicitation</term>
<term>Formal specification</term>
<term>Interaction</term>
<term>Method</term>
<term>Need</term>
<term>Problem solving</term>
<term>Validation</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Elicitation</term>
<term>Spécification formelle</term>
<term>Résolution problème</term>
<term>Compréhension</term>
<term>Interaction</term>
<term>Validation</term>
<term>Méthode</term>
<term>Besoin</term>
<term>Système informatique</term>
<term>Agenda</term>
<term>Expression besoins</term>
</keywords>
<keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Système informatique</term>
</keywords>
<keywords scheme="mix" xml:lang="fr"><term>agenda</term>
<term>formal specifications</term>
<term>interactions</term>
<term>method</term>
<term>méthode</term>
<term>requirements elicitation</term>
<term>spécifications formelles</term>
<term>validation</term>
<term>élicitation des besoins</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Cet article présente une méthode pour l'élicitation et l'expression des besoins. Elle est basée sur une analyse détaillée des besoins permettant une meilleure compréhension du problème à résoudre. L'approche - qui établit une distinction claire entre besoins et spécifications - conduit naturellement à l'expression d'une spécification formelle. Elle ne présente pas de nouveaux langages mais repose sur l'utilisation de techniques existantes. Les agendas sont utilisés pour décrire la méthode.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
<li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Vandœuvre-lès-Nancy</li>
</settlement>
</list>
<tree><country name="Allemagne"><noRegion><name sortKey="Heisel, M" sort="Heisel, M" uniqKey="Heisel M" first="M." last="Heisel">M. Heisel</name>
</noRegion>
</country>
<country name="France"><region name="Grand Est"><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00AA88 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00AA88 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Pascal:99-0537510
   |texte=   De l'élicitation des besoins à la spécification formelle
}}

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

De l'élicitation des besoins à la spécification formelle

De l'élicitation des besoins à la spécification formelle

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

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

	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.