InforLorV4, PascalFrancis, Curation, bibRecord, 000417

Integration of the proof process in the system development through refinement steps

Identifieur interne : 000417 ( PascalFrancis/Curation ); précédent : 000416; suivant : 000418

Integration of the proof process in the system development through refinement steps

Auteurs : Dominique Cansell [France] ; Dominique Mery [France]

Source :

RBID : Pascal:04-0524349

Descripteurs français

Pascal (Inist)
- Système sur puce, Conception système, Système B, Affinement, Vérification modèle.

English descriptors

KwdEn :
- B-System, Model checking, Refinement, System design, System on a chip.

A08	`01`	`1`	`ENG`	`@1 Integration of the proof process in the system development through refinement steps`
A09	`01`	`1`	`ENG`	`@1 FDL'02 : forum on specification & design languages : Marseille, 24-27 September 2002`
A11	`01`	`1`		`@1 CANSELL (Dominique)`
A11	`02`	`1`		`@1 MERY (Dominique)`
A14	`01`			`@1 LORIA & INRIA @3 FRA @Z 1 aut.`
A14	`02`			`@1 LORIA & Université Henri Poincaré @3 FRA @Z 2 aut.`
A20				`@2 [12 p.]`
A21				`@1 2002`
A23	`01`			`@0 ENG`
A25	`01`			`@1 ESIM @2 Marseille`
A30	`01`	`1`	`ENG`	`@1 Forum on specification & design languages @3 Marseille FRA @4 2002-09-24`
A43	`01`			`@1 INIST @2 Y 34321 @5 354000124345860610`
A44				`@0 0000 @1 © 2004 INIST-CNRS. All rights reserved.`
A45				`@0 20 ref.`
A47	`01`	`1`		`@0 04-0524349`
A60				`@1 C`
A61				`@0 A`
A66	`01`			`@0 FRA`
C02	`01`	`X`		`@0 001D02A05`
C03	`01`	`X`	`FRE`	`@0 Système sur puce @5 01`
C03	`01`	`X`	`ENG`	`@0 System on a chip @5 01`
C03	`01`	`X`	`SPA`	`@0 Sistema sobre pastilla @5 01`
C03	`02`	`X`	`FRE`	`@0 Conception système @5 02`
C03	`02`	`X`	`ENG`	`@0 System design @5 02`
C03	`02`	`X`	`SPA`	`@0 Concepción sistema @5 02`
C03	`03`	`X`	`FRE`	`@0 Système B @5 03`
C03	`03`	`X`	`ENG`	`@0 B-System @5 03 @6 «B»-System`
C03	`03`	`X`	`SPA`	`@0 Sistema B @5 03`
C03	`04`	`X`	`FRE`	`@0 Affinement @5 04`
C03	`04`	`X`	`ENG`	`@0 Refinement @5 04`
C03	`04`	`X`	`SPA`	`@0 Afinamiento @5 04`
C03	`05`	`X`	`FRE`	`@0 Vérification modèle @4 CD @5 96`
C03	`05`	`X`	`ENG`	`@0 Model checking @4 CD @5 96`
N21				`@1 299`
N44	`01`			`@1 PSI`
N82				`@1 PSI`

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

to stream PascalFrancis, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000624

Links to Exploration step

Pascal:04-0524349

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Integration of the proof process in the system development through refinement steps</title>
<author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name>
<affiliation wicri:level="1"><inist:fA14 i1="01"><s1>LORIA & INRIA</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Mery">Dominique Mery</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>LORIA & Université Henri Poincaré </s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">04-0524349</idno>
<date when="2002">2002</date>
<idno type="stanalyst">PASCAL 04-0524349 INIST</idno>
<idno type="RBID">Pascal:04-0524349</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000624</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000417</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Integration of the proof process in the system development through refinement steps</title>
<author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name>
<affiliation wicri:level="1"><inist:fA14 i1="01"><s1>LORIA & INRIA</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Mery">Dominique Mery</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>LORIA & Université Henri Poincaré </s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>B-System</term>
<term>Model checking</term>
<term>Refinement</term>
<term>System design</term>
<term>System on a chip</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Système sur puce</term>
<term>Conception système</term>
<term>Système B</term>
<term>Affinement</term>
<term>Vérification modèle</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<inist><standard h6="B"><pA><fA08 i1="01" i2="1" l="ENG"><s1>Integration of the proof process in the system development through refinement steps</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>FDL'02 : forum on specification & design languages : Marseille, 24-27 September 2002</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>CANSELL (Dominique)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>MERY (Dominique)</s1>
</fA11>
<fA14 i1="01"><s1>LORIA & INRIA</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>LORIA & Université Henri Poincaré </s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA14>
<fA20><s2>[12 p.]</s2>
</fA20>
<fA21><s1>2002</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA25 i1="01"><s1>ESIM</s1>
<s2>Marseille</s2>
</fA25>
<fA30 i1="01" i2="1" l="ENG"><s1>Forum on specification & design languages</s1>
<s3>Marseille FRA</s3>
<s4>2002-09-24</s4>
</fA30>
<fA43 i1="01"><s1>INIST</s1>
<s2>Y 34321</s2>
<s5>354000124345860610</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2004 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>20 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>04-0524349</s0>
</fA47>
<fA60><s1>C</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<fC02 i1="01" i2="X"><s0>001D02A05</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Système sur puce</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>System on a chip</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Sistema sobre pastilla</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Conception système</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>System design</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Concepción sistema</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Système B</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>B-System</s0>
<s5>03</s5>
<s6>«B»-System</s6>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Sistema B</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Affinement</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Refinement</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Afinamiento</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Vérification modèle</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Model checking</s0>
<s4>CD</s4>
<s5>96</s5>
</fC03>
<fN21><s1>299</s1>
</fN21>
<fN44 i1="01"><s1>PSI</s1>
</fN44>
<fN82><s1>PSI</s1>
</fN82>
</pA>
</standard>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Curation

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

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd -nk 000417 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Curation
   |type=    RBID
   |clé=     Pascal:04-0524349
   |texte=   Integration of the proof process in the system development through refinement steps
}}

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

Integration of the proof process in the system development through refinement steps

Integration of the proof process in the system development through refinement steps

Source :

Descripteurs français

English descriptors

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

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