De l'élicitation des besoins à la spécification formelle
Identifieur interne : 006496 ( Hal/Checkpoint ); précédent : 006495; suivant : 006497De l'élicitation des besoins à la spécification formelle
Auteurs : Maritta Heisel ; Jeanine Souquières [France]Source :
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques [ 0752-4072 ] ; 1999.
Descripteurs français
- mix :
Abstract
Cet article présente une méthode pour l'élicitation et l'expression des besoins. Elle est basée sur une analyse 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. || This paper proposes a method for the elicitation and the expression of requirements.It is based on a detailed analysis of requirements, leading to a better understanding of the problem to be solved. The approach -- which clearly distinguishes between req
Url:
Links toward previous steps (curation, corpus...)
Links to Exploration step
Hal:inria-00098954Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">De l'élicitation des besoins à la spécification formelle</title><author><name sortKey="Heisel, Maritta" sort="Heisel, Maritta" uniqKey="Heisel M" first="Maritta" last="Heisel">Maritta Heisel</name></author><author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name><affiliation wicri:level="1"><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><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00098954</idno><idno type="halId">inria-00098954</idno><idno type="halUri">https://hal.inria.fr/inria-00098954</idno><idno type="url">https://hal.inria.fr/inria-00098954</idno><date when="1999">1999</date><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></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">De l'élicitation des besoins à la spécification formelle</title><author><name sortKey="Heisel, Maritta" sort="Heisel, Maritta" uniqKey="Heisel M" first="Maritta" last="Heisel">Maritta Heisel</name></author><author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name><affiliation wicri:level="1"><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><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author></analytic><series><title level="j">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</title><idno type="ISSN">0752-4072</idno><imprint><date type="datePub">1999</date></imprint></series></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><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 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. || This paper proposes a method for the elicitation and the expression of requirements.It is based on a detailed analysis of requirements, leading to a better understanding of the problem to be solved. The approach -- which clearly distinguishes between req</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="fr">De l'élicitation des besoins à la spécification formelle</title><author role="aut"><persName><forename type="first">Maritta</forename><surname>Heisel</surname></persName><email></email><idno type="halauthor">130154</idno><orgName ref="#struct-364589"></orgName></author><author role="aut"><persName><forename type="first">Jeanine</forename><surname>Souquières</surname></persName><email></email><idno type="halauthor">141814</idno><orgName ref="#struct-300292"></orgName><affiliation ref="#struct-2492"></affiliation></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 08:40:47</date><date type="whenModified">2016-05-19 01:04:46</date><date type="whenReleased">2006-09-28 15:22:45</date><date type="whenProduced">1999</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-00098954</idno><idno type="halUri">https://hal.inria.fr/inria-00098954</idno><idno type="halBibtex">heisel:inria-00098954</idno><idno type="halRefHtml">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (7), pp.777-801</idno><idno type="halRef">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (7), pp.777-801</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">Article dans revue scientifique avec comité de lecture.</note><note type="audience" n="1">Not set</note><note type="popular" n="0">No</note><note type="peer" n="1">Yes</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">De l'élicitation des besoins à la spécification formelle</title><author role="aut"><persName><forename type="first">Maritta</forename><surname>Heisel</surname></persName><idno type="halAuthorId">130154</idno><orgName ref="#struct-364589"></orgName></author><author role="aut"><persName><forename type="first">Jeanine</forename><surname>Souquières</surname></persName><idno type="halAuthorId">141814</idno><orgName ref="#struct-300292"></orgName><affiliation ref="#struct-2492"></affiliation></author></analytic><monogr><idno type="localRef">99-R-057 || heisel99a</idno><idno type="halJournalId" status="VALID">55041</idno><idno type="issn">0752-4072</idno><idno type="eissn">2116-5920</idno><title level="j">Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</title><imprint><publisher>Lavoisier</publisher><biblScope unit="volume">18</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="pp">777-801</biblScope><date type="datePub">1999</date></imprint></monogr></biblStruct></sourceDesc><profileDesc><langUsage><language ident="fr">French</language></langUsage><textClass><keywords scheme="author"><term xml:lang="fr">agenda</term><term xml:lang="fr">requirements elicitation</term><term xml:lang="fr">interactions</term><term xml:lang="fr">formal specifications</term><term xml:lang="fr">method</term><term xml:lang="fr">élicitation des besoins</term><term xml:lang="fr">méthode</term><term xml:lang="fr">spécifications formelles</term><term xml:lang="fr">validation</term></keywords><classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode><classCode scheme="halTypology" n="ART">Journal articles</classCode></textClass><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 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. || This paper proposes a method for the elicitation and the expression of requirements.It is based on a detailed analysis of requirements, leading to a better understanding of the problem to be solved. The approach -- which clearly distinguishes between req</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006496 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 006496 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Checkpoint
|type= RBID
|clé= Hal:inria-00098954
|texte= De l'élicitation des besoins à la spécification formelle
}}
| This area was generated with Dilib version V0.6.33. |  |