InforLorV4, PascalFrancis, Corpus, bibRecord, 000281

Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants

Identifieur interne : 000281 ( PascalFrancis/Corpus ); précédent : 000280; suivant : 000282

Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants

Auteurs : Inès Mouakher ; Jeanine Souquieres ; Francis Alexandre

Source :

L' Objet : (Paris) [ 1262-1137 ] ; 2008.

RBID : Pascal:09-0156506

Descripteurs français

Pascal (Inist)
- Interopérabilité, Langage modélisation unifié, Protocole transmission, Composant logiciel, Diagnostic erreur, Typologie, Conformisme, Correction erreur, Estimation erreur, Orienté objet.

English descriptors

KwdEn :
- Conformity, Error correction, Error diagnostic, Error estimation, Interoperability, Object oriented, Software component, Transmission protocol, Typology, Unified modelling language.

Abstract

We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A01	`01`	`1`		`@0 1262-1137`
A03		`1`		`@0 Objet : (Paris)`
A05				`@2 14`
A06				`@2 4`
A08	`01`	`1`	`FRE`	`@1 Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants`
A09	`01`	`1`	`FRE`	`@1 Composants, services et aspects. Techniques et outils pour la vérification`
A11	`01`	`1`		`@1 MOUAKHER (Inès)`
A11	`02`	`1`		`@1 SOUQUIERES (Jeanine)`
A11	`03`	`1`		`@1 ALEXANDRE (Francis)`
A12	`01`	`1`		`@1 ANDRE (Pascal) @9 ed.`
A12	`02`	`1`		`@1 ATTIOGBE (Christian) @9 ed.`
A14	`01`			`@1 LORIA -Nancy Université Campus scientifique, BP 239 @2 54506 Vandoeuvre-lès-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut.`
A15	`01`			`@1 LINA - Université de Nantes @3 FRA @Z 1 aut. @Z 2 aut.`
A20				`@1 11-42`
A21				`@1 2008`
A23	`01`			`@0 FRE`
A24	`01`			`@0 eng`
A43	`01`			`@1 INIST @2 27397 @5 354000186453340010`
A44				`@0 0000 @1 © 2009 INIST-CNRS. All rights reserved.`
A45				`@0 2 p.1/4`
A47	`01`	`1`		`@0 09-0156506`
A60				`@1 P`
A61				`@0 A`
A64	`01`	`1`		`@0 L' Objet : (Paris)`
A66	`01`			`@0 FRA`
C01	`01`		`ENG`	@0 We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.
C02	`01`	`X`		`@0 001D02B09`
C03	`01`	`X`	`FRE`	`@0 Interopérabilité @5 06`
C03	`01`	`X`	`ENG`	`@0 Interoperability @5 06`
C03	`01`	`X`	`SPA`	`@0 Interoperabilidad @5 06`
C03	`02`	`X`	`FRE`	`@0 Langage modélisation unifié @5 07`
C03	`02`	`X`	`ENG`	`@0 Unified modelling language @5 07`
C03	`02`	`X`	`SPA`	`@0 Lenguaje UML @5 07`
C03	`03`	`X`	`FRE`	`@0 Protocole transmission @5 08`
C03	`03`	`X`	`ENG`	`@0 Transmission protocol @5 08`
C03	`03`	`X`	`SPA`	`@0 Protocolo transmisión @5 08`
C03	`04`	`X`	`FRE`	`@0 Composant logiciel @5 09`
C03	`04`	`X`	`ENG`	`@0 Software component @5 09`
C03	`04`	`X`	`SPA`	`@0 Componente logicial @5 09`
C03	`05`	`X`	`FRE`	`@0 Diagnostic erreur @5 18`
C03	`05`	`X`	`ENG`	`@0 Error diagnostic @5 18`
C03	`05`	`X`	`SPA`	`@0 Diagnóstico error @5 18`
C03	`06`	`X`	`FRE`	`@0 Typologie @5 19`
C03	`06`	`X`	`ENG`	`@0 Typology @5 19`
C03	`06`	`X`	`SPA`	`@0 Tipología @5 19`
C03	`07`	`X`	`FRE`	`@0 Conformisme @5 20`
C03	`07`	`X`	`ENG`	`@0 Conformity @5 20`
C03	`07`	`X`	`SPA`	`@0 Conformismo @5 20`
C03	`08`	`X`	`FRE`	`@0 Correction erreur @5 23`
C03	`08`	`X`	`ENG`	`@0 Error correction @5 23`
C03	`08`	`X`	`SPA`	`@0 Corrección error @5 23`
C03	`09`	`X`	`FRE`	`@0 Estimation erreur @5 24`
C03	`09`	`X`	`ENG`	`@0 Error estimation @5 24`
C03	`09`	`X`	`SPA`	`@0 Estimación error @5 24`
C03	`10`	`X`	`FRE`	`@0 Orienté objet @5 41`
C03	`10`	`X`	`ENG`	`@0 Object oriented @5 41`
C03	`10`	`X`	`SPA`	`@0 Orientado objeto @5 41`
N21				`@1 117`
N44	`01`			`@1 OTO`
N82				`@1 OTO`

Format Inist (serveur)

NO :	PASCAL 09-0156506 INIST
FT :	Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants
AU :	MOUAKHER (Inès); SOUQUIERES (Jeanine); ALEXANDRE (Francis); ANDRE (Pascal); ATTIOGBE (Christian)
AF :	LORIA -Nancy Université Campus scientifique, BP 239/54506 Vandoeuvre-lès-Nancy/France (1 aut., 2 aut., 3 aut.); LINA - Université de Nantes/France (1 aut., 2 aut.)
DT :	Publication en série; Niveau analytique
SO :	L' Objet : (Paris); ISSN 1262-1137; France; Da. 2008; Vol. 14; No. 4; Pp. 11-42; Abs. anglais; Bibl. 2 p.1/4
LA :	Français
EA :	We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.
CC :	001D02B09
FD :	Interopérabilité; Langage modélisation unifié; Protocole transmission; Composant logiciel; Diagnostic erreur; Typologie; Conformisme; Correction erreur; Estimation erreur; Orienté objet
ED :	Interoperability; Unified modelling language; Transmission protocol; Software component; Error diagnostic; Typology; Conformity; Error correction; Error estimation; Object oriented
SD :	Interoperabilidad; Lenguaje UML; Protocolo transmisión; Componente logicial; Diagnóstico error; Tipología; Conformismo; Corrección error; Estimación error; Orientado objeto
LO :	INIST-27397.354000186453340010
ID :	09-0156506

Links to Exploration step

Pascal:09-0156506

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants</title>
<author><name sortKey="Mouakher, Ines" sort="Mouakher, Ines" uniqKey="Mouakher I" first="Inès" last="Mouakher">Inès Mouakher</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquieres">Jeanine Souquieres</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Alexandre, Francis" sort="Alexandre, Francis" uniqKey="Alexandre F" first="Francis" last="Alexandre">Francis Alexandre</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">09-0156506</idno>
<date when="2008">2008</date>
<idno type="stanalyst">PASCAL 09-0156506 INIST</idno>
<idno type="RBID">Pascal:09-0156506</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000281</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants</title>
<author><name sortKey="Mouakher, Ines" sort="Mouakher, Ines" uniqKey="Mouakher I" first="Inès" last="Mouakher">Inès Mouakher</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquieres">Jeanine Souquieres</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Alexandre, Francis" sort="Alexandre, Francis" uniqKey="Alexandre F" first="Francis" last="Alexandre">Francis Alexandre</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">L' Objet : (Paris)</title>
<title level="j" type="abbreviated">Objet : (Paris)</title>
<idno type="ISSN">1262-1137</idno>
<imprint><date when="2008">2008</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">L' Objet : (Paris)</title>
<title level="j" type="abbreviated">Objet : (Paris)</title>
<idno type="ISSN">1262-1137</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Conformity</term>
<term>Error correction</term>
<term>Error diagnostic</term>
<term>Error estimation</term>
<term>Interoperability</term>
<term>Object oriented</term>
<term>Software component</term>
<term>Transmission protocol</term>
<term>Typology</term>
<term>Unified modelling language</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Interopérabilité</term>
<term>Langage modélisation unifié</term>
<term>Protocole transmission</term>
<term>Composant logiciel</term>
<term>Diagnostic erreur</term>
<term>Typologie</term>
<term>Conformisme</term>
<term>Correction erreur</term>
<term>Estimation erreur</term>
<term>Orienté objet</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>1262-1137</s0>
</fA01>
<fA03 i2="1"><s0>Objet : (Paris)</s0>
</fA03>
<fA05><s2>14</s2>
</fA05>
<fA06><s2>4</s2>
</fA06>
<fA08 i1="01" i2="1" l="FRE"><s1>Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants</s1>
</fA08>
<fA09 i1="01" i2="1" l="FRE"><s1>Composants, services et aspects. Techniques et outils pour la vérification</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>MOUAKHER (Inès)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>SOUQUIERES (Jeanine)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>ALEXANDRE (Francis)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>ANDRE (Pascal)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>ATTIOGBE (Christian)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>LORIA -Nancy Université Campus scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14>
<fA15 i1="01"><s1>LINA - Université de Nantes</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</fA15>
<fA20><s1>11-42</s1>
</fA20>
<fA21><s1>2008</s1>
</fA21>
<fA23 i1="01"><s0>FRE</s0>
</fA23>
<fA24 i1="01"><s0>eng</s0>
</fA24>
<fA43 i1="01"><s1>INIST</s1>
<s2>27397</s2>
<s5>354000186453340010</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2009 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>2 p.1/4</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>09-0156506</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>L' Objet : (Paris)</s0>
</fA64>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02B09</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Interopérabilité</s0>
<s5>06</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Interoperability</s0>
<s5>06</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Interoperabilidad</s0>
<s5>06</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Langage modélisation unifié</s0>
<s5>07</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Unified modelling language</s0>
<s5>07</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Lenguaje UML</s0>
<s5>07</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Protocole transmission</s0>
<s5>08</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Transmission protocol</s0>
<s5>08</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Protocolo transmisión</s0>
<s5>08</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Composant logiciel</s0>
<s5>09</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Software component</s0>
<s5>09</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Componente logicial</s0>
<s5>09</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Diagnostic erreur</s0>
<s5>18</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Error diagnostic</s0>
<s5>18</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Diagnóstico error</s0>
<s5>18</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Typologie</s0>
<s5>19</s5>
</fC03>
<fC03 i1="06" i2="X" l="ENG"><s0>Typology</s0>
<s5>19</s5>
</fC03>
<fC03 i1="06" i2="X" l="SPA"><s0>Tipología</s0>
<s5>19</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Conformisme</s0>
<s5>20</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Conformity</s0>
<s5>20</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Conformismo</s0>
<s5>20</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Correction erreur</s0>
<s5>23</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Error correction</s0>
<s5>23</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Corrección error</s0>
<s5>23</s5>
</fC03>
<fC03 i1="09" i2="X" l="FRE"><s0>Estimation erreur</s0>
<s5>24</s5>
</fC03>
<fC03 i1="09" i2="X" l="ENG"><s0>Error estimation</s0>
<s5>24</s5>
</fC03>
<fC03 i1="09" i2="X" l="SPA"><s0>Estimación error</s0>
<s5>24</s5>
</fC03>
<fC03 i1="10" i2="X" l="FRE"><s0>Orienté objet</s0>
<s5>41</s5>
</fC03>
<fC03 i1="10" i2="X" l="ENG"><s0>Object oriented</s0>
<s5>41</s5>
</fC03>
<fC03 i1="10" i2="X" l="SPA"><s0>Orientado objeto</s0>
<s5>41</s5>
</fC03>
<fN21><s1>117</s1>
</fN21>
<fN44 i1="01"><s1>OTO</s1>
</fN44>
<fN82><s1>OTO</s1>
</fN82>
</pA>
</standard>
<server><NO>PASCAL 09-0156506 INIST</NO>
<FT>Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants</FT>
<AU>MOUAKHER (Inès); SOUQUIERES (Jeanine); ALEXANDRE (Francis); ANDRE (Pascal); ATTIOGBE (Christian)</AU>
<AF>LORIA -Nancy Université Campus scientifique, BP 239/54506 Vandoeuvre-lès-Nancy/France (1 aut., 2 aut., 3 aut.); LINA - Université de Nantes/France (1 aut., 2 aut.)</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>L' Objet : (Paris); ISSN 1262-1137; France; Da. 2008; Vol. 14; No. 4; Pp. 11-42; Abs. anglais; Bibl. 2 p.1/4</SO>
<LA>Français</LA>
<EA>We propose to help in the diagnostic and the correction of specfications starting from the results of verifcation tools. The approach is validated in the framework of developing specifications by the assembly of components and the verification of the interoperability on the protocol level between the different components, without modifying or substituying these components. Specifications are expressed in terms of UML diagrams and transformed into B specifications, allowing to use their associated proof tools. The correction is guided, taking into account an error typology, a possible bad usage of a component, the non conformity between the different system specifications and the responsible component of the diagnosed error.</EA>
<CC>001D02B09</CC>
<FD>Interopérabilité; Langage modélisation unifié; Protocole transmission; Composant logiciel; Diagnostic erreur; Typologie; Conformisme; Correction erreur; Estimation erreur; Orienté objet</FD>
<ED>Interoperability; Unified modelling language; Transmission protocol; Software component; Error diagnostic; Typology; Conformity; Error correction; Error estimation; Object oriented</ED>
<SD>Interoperabilidad; Lenguaje UML; Protocolo transmisión; Componente logicial; Diagnóstico error; Tipología; Conformismo; Corrección error; Estimación error; Orientado objeto</SD>
<LO>INIST-27397.354000186453340010</LO>
<ID>09-0156506</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

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

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

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000281 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:09-0156506
   |texte=   Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants
}}

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

Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants

Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants

Source :

Descripteurs français

English descriptors

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

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