Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

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.

Vérification sémantique de spécifications métallurgiques

Identifieur interne : 00D681 ( Main/Merge ); précédent : 00D680; suivant : 00D682

Vérification sémantique de spécifications métallurgiques

Auteurs : F. Klay ; E. Domenjoud ; C. Kirchner

Source :

RBID : CRIN:klay93a

Abstract

Dans ce document nous présentons d'une part une méthode pour vérifier certaines propriétés sémantiques sur des spécifications décrites par des règles, et d'autre part l'implantation de cette méthode dans un programme appelé Versem. Ce travail a été réalisé à la demande de l'entreprise Sollac qui utilise de telles spécifications pour formaliser des processus de transformation métallurgique.

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

Links to Exploration step

CRIN:klay93a

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr" wicri:score="-85">Vérification sémantique de spécifications métallurgiques</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:klay93a</idno>
<date when="1993" year="1993">1993</date>
<idno type="wicri:Area/Crin/Corpus">001273</idno>
<idno type="wicri:Area/Crin/Curation">001273</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001273</idno>
<idno type="wicri:Area/Crin/Checkpoint">003209</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">003209</idno>
<idno type="wicri:Area/Main/Merge">00D681</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Vérification sémantique de spécifications métallurgiques</title>
<author>
<name sortKey="Klay, F" sort="Klay, F" uniqKey="Klay F" first="F." last="Klay">F. Klay</name>
</author>
<author>
<name sortKey="Domenjoud, E" sort="Domenjoud, E" uniqKey="Domenjoud E" first="E." last="Domenjoud">E. Domenjoud</name>
</author>
<author>
<name sortKey="Kirchner, C" sort="Kirchner, C" uniqKey="Kirchner C" first="C." last="Kirchner">C. Kirchner</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass></textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr" wicri:score="-1601">Dans ce document nous présentons d'une part une méthode pour vérifier certaines propriétés sémantiques sur des spécifications décrites par des règles, et d'autre part l'implantation de cette méthode dans un programme appelé Versem. Ce travail a été réalisé à la demande de l'entreprise Sollac qui utilise de telles spécifications pour formaliser des processus de transformation métallurgique.</div>
</front>
</TEI>
</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 00D681 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00D681 | 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é=     CRIN:klay93a
   |texte=   Vérification sémantique de spécifications métallurgiques
}}
Wicri

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