SACSO : un environnement d'aide à la spécification
Identifieur interne : 00E242 ( Main/Exploration ); 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.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 000655
- to stream Crin, to step Curation: 000655
- to stream Crin, to step Checkpoint: 003F63
- to stream Main, to step Merge: 00EB25
- to stream Main, to step Curation: 00E242
Le 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>
<idno type="wicri:Area/Main/Exploration">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>
<affiliations><list></list>
<tree><noCountry><name sortKey="Finance, J P" sort="Finance, J P" uniqKey="Finance J" first="J.-P." last="Finance">J.-P. Finance</name>
<name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name>
<name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquières">J. Souquières</name>
<name sortKey="Valdenaire, A" sort="Valdenaire, A" uniqKey="Valdenaire A" first="A." last="Valdenaire">A. Valdenaire</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 00E242 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/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= Exploration |type= RBID |clé= CRIN:finance88a |texte= SACSO : un environnement d'aide à la spécification }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |