Seven years of COMPASS
Identifieur interne : 00C022 ( Main/Exploration ); précédent : 00C021; suivant : 00C023Seven years of COMPASS
Auteurs : Bernd Krieg-Brückner [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: The ESPRIT Basic Research Working Group COMPASS has brought together most European scientists in the area of algebraic specification methods in an effort to consolidate and integrate the theoretical basis and apply it to software technology. The algebraic approach treats not just the syntactic aspects of interfaces but supports the precise specification of the semantics of generic reusable system components, providing the formal conceptual basis for their stepwise and correct development.
Url:
DOI: 10.1007/3-540-61629-2_32
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003465
- to stream Istex, to step Curation: 003423
- to stream Istex, to step Checkpoint: 002923
- to stream Main, to step Merge: 00C843
- to stream Main, to step Curation: 00C022
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Seven years of COMPASS</title>
<author><name sortKey="Krieg Bruckner, Bernd" sort="Krieg Bruckner, Bernd" uniqKey="Krieg Bruckner B" first="Bernd" last="Krieg-Brückner">Bernd Krieg-Brückner</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:DCD260A83A9BC65453958A8DF334606C7610AA0F</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1007/3-540-61629-2_32</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-383N7QVX-V/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003465</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003465</idno>
<idno type="wicri:Area/Istex/Curation">003423</idno>
<idno type="wicri:Area/Istex/Checkpoint">002923</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002923</idno>
<idno type="wicri:doubleKey">0302-9743:1996:Krieg Bruckner B:seven:years:of</idno>
<idno type="wicri:Area/Main/Merge">00C843</idno>
<idno type="wicri:Area/Main/Curation">00C022</idno>
<idno type="wicri:Area/Main/Exploration">00C022</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Seven years of COMPASS</title>
<author><name sortKey="Krieg Bruckner, Bernd" sort="Krieg Bruckner, Bernd" uniqKey="Krieg Bruckner B" first="Bernd" last="Krieg-Brückner">Bernd Krieg-Brückner</name>
<affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Bremen Institute for Safe Systems FB3, Universität Bremen</wicri:regionArea>
<wicri:noRegion>Universität Bremen</wicri:noRegion>
<wicri:noRegion>Universität Bremen</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: The ESPRIT Basic Research Working Group COMPASS has brought together most European scientists in the area of algebraic specification methods in an effort to consolidate and integrate the theoretical basis and apply it to software technology. The algebraic approach treats not just the syntactic aspects of interfaces but supports the precise specification of the semantics of generic reusable system components, providing the formal conceptual basis for their stepwise and correct development.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
</list>
<tree><country name="Allemagne"><noRegion><name sortKey="Krieg Bruckner, Bernd" sort="Krieg Bruckner, Bernd" uniqKey="Krieg Bruckner B" first="Bernd" last="Krieg-Brückner">Bernd Krieg-Brückner</name>
</noRegion>
<name sortKey="Krieg Bruckner, Bernd" sort="Krieg Bruckner, Bernd" uniqKey="Krieg Bruckner B" first="Bernd" last="Krieg-Brückner">Bernd Krieg-Brückner</name>
</country>
</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 00C022 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00C022 | 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é= ISTEX:DCD260A83A9BC65453958A8DF334606C7610AA0F |texte= Seven years of COMPASS }}
This area was generated with Dilib version V0.6.33. |