SACSO : un environnement d'aide à la spécification
Identifieur interne : 000655 ( Crin/Corpus ); précédent : 000654; suivant : 000656SACSO : 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 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>
</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>
<BibTex type="techreport"><ref>finance88a</ref>
<crinnumber>88-R-137</crinnumber>
<category>15</category>
<equipe>INCONNUE</equipe>
<author><e>Finance, J.-P.</e>
<e>Lévy, N.</e>
<e>Souquières, J.</e>
<e>Valdenaire, A.</e>
</author>
<title>SACSO : un environnement d'aide à la spécification</title>
<institution>Centre de Recherche en Informatique de Nancy</institution>
<year>1988</year>
<type>Rapport interne</type>
<address>Vandoeuvre-lès-Nancy</address>
<keywords><e>methodic construction</e>
<e>specification environment</e>
<e>reusability</e>
<e>validation</e>
</keywords>
<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.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000655 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 000655 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Corpus |type= RBID |clé= CRIN:finance88a |texte= SACSO : un environnement d'aide à la spécification }}
This area was generated with Dilib version V0.6.33. |