De l'élicitation des besoins à la spécification formelle
Identifieur interne : 00B141 ( Main/Merge ); précédent : 00B140; suivant : 00B142De l'élicitation des besoins à la spécification formelle
Auteurs : M. Heisel [Allemagne] ; J. Souquieres [France]Source :
- TSI. Technique et science informatiques [ 0752-4072 ] ; 1999.
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Système informatique.
English descriptors
- KwdEn :
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.
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000A85
- to stream PascalFrancis, to step Curation: 000D85
- to stream PascalFrancis, to step Checkpoint: 000A53
Links to Exploration step
Pascal:99-0537510Le 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>
</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>
</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/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B141 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00B141 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |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. | ![]() |