SACSO : un environnement d'aide à la spécification
Identifieur interne : 00E242 ( Main/Curation ); précédent : 00E241; suivant : 00E243SACSO : un environnement d'aide à la spécification
Auteurs : J.-P. Finance ; N. Lévy ; J. Souquières ; A. ValdenaireSource :
English descriptors
Abstract
SACSO est un environnement intégré permettant d'apporter une aide lors du passage de la description informelle d'un problème à sa spécification formelle. Son originalité réside dans le fait qu'en plus des aides classiques (édition syntaxique, contrôle de types et interprétation), il fournit une aide active au spécifieur sous forme de commentaires et de diagnostics, propose des aides à la validation, favorise la réutilisation et surtout l'adéquation de l'environnement aux habitudes de l'utilisateur ainsi qu'à la classe des systèmes à spécifier. Les spécifications formelles peuvent être définies de manière algébrique ou de manière constructive à l'aide de constructeurs prédéfinis et de spécifications en bibliothèque.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000655
- to stream Crin, to step Curation: Pour aller vers cette notice dans l'étape Curation :000655
- to stream Crin, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :003F63
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :00EB25
Links to Exploration step
CRIN:finance88aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="214">SACSO : un environnement d'aide à la spécification</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:finance88a</idno>
<date when="1988" year="1988">1988</date>
<idno type="wicri:Area/Crin/Corpus">000655</idno>
<idno type="wicri:Area/Crin/Curation">000655</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000655</idno>
<idno type="wicri:Area/Crin/Checkpoint">003F63</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">003F63</idno>
<idno type="wicri:Area/Main/Merge">00EB25</idno>
<idno type="wicri:Area/Main/Curation">00E242</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">SACSO : un environnement d'aide à la spécification</title>
<author><name sortKey="Finance, J P" sort="Finance, J P" uniqKey="Finance J" first="J.-P." last="Finance">J.-P. Finance</name>
</author>
<author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name>
</author>
<author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquières">J. Souquières</name>
</author>
<author><name sortKey="Valdenaire, A" sort="Valdenaire, A" uniqKey="Valdenaire A" first="A." last="Valdenaire">A. Valdenaire</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>methodic construction</term>
<term>reusability</term>
<term>specification environment</term>
<term>validation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-1014">SACSO est un environnement intégré permettant d'apporter une aide lors du passage de la description informelle d'un problème à sa spécification formelle. Son originalité réside dans le fait qu'en plus des aides classiques (édition syntaxique, contrôle de types et interprétation), il fournit une aide active au spécifieur sous forme de commentaires et de diagnostics, propose des aides à la validation, favorise la réutilisation et surtout l'adéquation de l'environnement aux habitudes de l'utilisateur ainsi qu'à la classe des systèmes à spécifier. Les spécifications formelles peuvent être définies de manière algébrique ou de manière constructive à l'aide de constructeurs prédéfinis et de spécifications en bibliothèque.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00E242 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 00E242 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Curation |type= RBID |clé= CRIN:finance88a |texte= SACSO : un environnement d'aide à la spécification }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |