Some Operators for Specification Reuse
Identifieur interne : 000744 ( Crin/Curation ); précédent : 000743; suivant : 000745Some Operators for Specification Reuse
Auteurs : J. Souquières ; N. LévySource :
English descriptors
- KwdEn :
Abstract
Suppose we have a library of predefined data types. How can we reuse them ? If we can reuse them just by enrichment-renaming-instanciation techniques, the problem is simple : it is a special case of an incremental design technique. Unfortunately, it is not enough in general. We need to modify more roughly the data types of the library. In the related work, we consider two ways of reusing a data type\, : first by modifying its structure (the parameterised data types used to define it) and second by considering it as an example and by abstracting from it a more general case.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000744
Links to Exploration step
CRIN:souquieres89cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="32">Some Operators for Specification Reuse</title></titleStmt><publicationStmt><idno type="RBID">CRIN:souquieres89c</idno><date when="1989" year="1989">1989</date><idno type="wicri:Area/Crin/Corpus">000744</idno><idno type="wicri:Area/Crin/Curation">000744</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000744</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Some Operators for Specification Reuse</title><author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquières">J. Souquières</name></author><author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abstract data types</term><term>operators</term><term>reuse</term><term>specification</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="1385">Suppose we have a library of predefined data types. How can we reuse them ? If we can reuse them just by enrichment-renaming-instanciation techniques, the problem is simple : it is a special case of an incremental design technique. Unfortunately, it is not enough in general. We need to modify more roughly the data types of the library. In the related work, we consider two ways of reusing a data type\, : first by modifying its structure (the parameterised data types used to define it) and second by considering it as an example and by abstracting from it a more general case.</div></front></TEI><BibTex type="techreport"><ref>souquieres89c</ref><crinnumber>89-R-013</crinnumber><category>15</category><equipe>PROGRAMMATION</equipe><author><e>Souquières, J.</e><e>Lévy, N.</e></author><title>Some Operators for Specification Reuse</title><institution>Centre de Recherche en Informatique de Nancy</institution><year>1989</year><type>Rapport interne</type><address>Vandoeuvre-lès-Nancy</address><keywords><e>operators</e><e>reuse</e><e>specification</e><e>abstract data types</e></keywords><abstract>Suppose we have a library of predefined data types. How can we reuse them ? If we can reuse them just by enrichment-renaming-instanciation techniques, the problem is simple : it is a special case of an incremental design technique. Unfortunately, it is not enough in general. We need to modify more roughly the data types of the library. In the related work, we consider two ways of reusing a data type\, : first by modifying its structure (the parameterised data types used to define it) and second by considering it as an example and by abstracting from it a more general case.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000744 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 000744 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Curation
|type= RBID
|clé= CRIN:souquieres89c
|texte= Some Operators for Specification Reuse
}}
| This area was generated with Dilib version V0.6.33. |  |