A Language-Independent Approach to Object-Oriented Specification Construction
Identifieur interne : 00CA13 ( Main/Exploration ); précédent : 00CA12; suivant : 00CA14A Language-Independent Approach to Object-Oriented Specification Construction
Auteurs : N. Lévy ; G. SmithSource :
Abstract
An interactive specification development environment is presented in which development methodologies can be supported and the specification is a component. Within the environment, design concepts and strategies are captured by the application of {\em development operators\/}, i.e.\ operators which enable the incremental construction and modification of specifications. The focus of this paper is to investigate the language independence feature of the environment, based on the work done in the Esprit project ICARUS. A set of operators enabling an object-oriented approach to specification development are instantiated for both the algebraic specification language Glider and the model-based specification language Z. These operators are illustrated by the development of a case study of a simple card game in both Glider and Z.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001456
- to stream Crin, to step Curation: 001456
- to stream Crin, to step Checkpoint: 002F82
- to stream Main, to step Merge: 00D280
- to stream Main, to step Curation: 00CA13
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="452">A Language-Independent Approach to Object-Oriented Specification Construction</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:levy94a</idno>
<date when="1994" year="1994">1994</date>
<idno type="wicri:Area/Crin/Corpus">001456</idno>
<idno type="wicri:Area/Crin/Curation">001456</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001456</idno>
<idno type="wicri:Area/Crin/Checkpoint">002F82</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002F82</idno>
<idno type="wicri:Area/Main/Merge">00D280</idno>
<idno type="wicri:Area/Main/Curation">00CA13</idno>
<idno type="wicri:Area/Main/Exploration">00CA13</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">A Language-Independent Approach to Object-Oriented Specification Construction</title>
<author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name>
</author>
<author><name sortKey="Smith, G" sort="Smith, G" uniqKey="Smith G" first="G." last="Smith">G. Smith</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="3071">An interactive specification development environment is presented in which development methodologies can be supported and the specification is a component. Within the environment, design concepts and strategies are captured by the application of {\em development operators\/}, i.e.\ operators which enable the incremental construction and modification of specifications. The focus of this paper is to investigate the language independence feature of the environment, based on the work done in the Esprit project ICARUS. A set of operators enabling an object-oriented approach to specification development are instantiated for both the algebraic specification language Glider and the model-based specification language Z. These operators are illustrated by the development of a case study of a simple card game in both Glider and Z.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name>
<name sortKey="Smith, G" sort="Smith, G" uniqKey="Smith G" first="G." last="Smith">G. Smith</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00CA13 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00CA13 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:levy94a |texte= A Language-Independent Approach to Object-Oriented Specification Construction }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |