Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
Identifieur interne : 003F08 ( Crin/Corpus ); précédent : 003F07; suivant : 003F09Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
Auteurs : Cyril Proch ; Dominique Cansell ; Dominique MerySource :
English descriptors
- KwdEn :
- b event, model, proof, refinement.
Abstract
Le document décrit le travail réalisé sur une étude de cas dans le cadre du projet RNRT EQUAST. Le but de ce projet est la réalisation d'un outil de mesure dans le cadre de la Télévision Numérique Terrestre. Le raffinement nous aide à couvrir incrémentalement tout le cahier des charges et à proposer des solutions architecturales intéressantes.
Links to Exploration step
CRIN:proch04aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="13">Projet RNRT EQUAST ; SP2 Spécification incrémentale du système</title></titleStmt><publicationStmt><idno type="RBID">CRIN:proch04a</idno><date when="2004" year="2004">2004</date><idno type="wicri:Area/Crin/Corpus">003F08</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Projet RNRT EQUAST ; SP2 Spécification incrémentale du système</title><author><name sortKey="Proch, Cyril" sort="Proch, Cyril" uniqKey="Proch C" first="Cyril" last="Proch">Cyril Proch</name></author><author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name></author><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Mery">Dominique Mery</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>b event</term><term>model</term><term>proof</term><term>refinement</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-1388">Le document décrit le travail réalisé sur une étude de cas dans le cadre du projet RNRT EQUAST. Le but de ce projet est la réalisation d'un outil de mesure dans le cadre de la Télévision Numérique Terrestre. Le raffinement nous aide à couvrir incrémentalement tout le cahier des charges et à proposer des solutions architecturales intéressantes.</div></front></TEI><BibTex type="techreport"><ref>proch04a</ref><crinnumber>A04-R-237</crinnumber><category>15</category><equipe>MOSEL</equipe><author><e>Proch, Cyril</e><e>Cansell, Dominique</e><e>Mery, Dominique</e></author><title>Projet RNRT EQUAST ; SP2 Spécification incrémentale du système</title><year>2004</year><type>Rapport de recherche</type><month>Oct</month><keywords><e>b event</e><e>model</e><e>refinement</e><e>proof</e></keywords><abstract>Le document décrit le travail réalisé sur une étude de cas dans le cadre du projet RNRT EQUAST. Le but de ce projet est la réalisation d'un outil de mesure dans le cadre de la Télévision Numérique Terrestre. Le raffinement nous aide à couvrir incrémentalement tout le cahier des charges et à proposer des solutions architecturales intéressantes.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003F08 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 003F08 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Corpus
|type= RBID
|clé= CRIN:proch04a
|texte= Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
}}
| This area was generated with Dilib version V0.6.33. |  |