Spécification de types de données images et leur intégration dans des langages spécialisés
Identifieur interne : 004318 ( Crin/Checkpoint ); précédent : 004317; suivant : 004319Spécification de types de données images et leur intégration dans des langages spécialisés
Auteurs : Abdel Belaïd [France] ; N. LévySource :
English descriptors
Abstract
Notre objectif est la réalisation d'un système de traitement d'images qui soit un outil d'aide au développement de programmes spécifiques. Pour cela, nous avons défini formellement les objets manipulés ainsi que les opérations applicables sur eux. Ceci nous a conduits à la notion de types abstraits algébriques. Nous avons opté pour des spécifications constructives à l'aide de types paramétrés prédéfinis. Nous avons défini deux types de langages répondant chacun aux besoins particuliers des utilisateurs potentiels\, : \begin{itemize} \item d'une part LPSI, un surensemble de PASCAL permettant de décrire des fonctions à l'aide de primitives puissantes, \item d'autre part SAPIN, un langage interactif pour non spécialistes. \end{itemize} Ces deux langages manipulent les mêmes types d'objets. Ainsi l'étape de réalisation s'est ramenée à l'implantation particulière des types spécifiés.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:belaid85cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-194">Spécification de types de données images et leur intégration dans des langages spécialisés</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:belaid85c</idno>
<date when="1985" year="1985">1985</date>
<idno type="wicri:Area/Crin/Corpus">000191</idno>
<idno type="wicri:Area/Crin/Curation">000191</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000191</idno>
<idno type="wicri:Area/Crin/Checkpoint">004318</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">004318</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Spécification de types de données images et leur intégration dans des langages spécialisés</title>
<author><name sortKey="Belaid, A" sort="Belaid, A" uniqKey="Belaid A" first="A." last="Belaïd">Abdel Belaïd</name>
<affiliation><country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="laboratoire" n="5">Laboratoire lorrain de recherche en informatique et ses applications</orgName>
<orgName type="university">Université de Lorraine</orgName>
<orgName type="institution">Centre national de la recherche scientifique</orgName>
<orgName type="institution">Institut national de recherche en informatique et en automatique</orgName>
</affiliation>
</author>
<author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Lévy">N. Lévy</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abstract data types</term>
<term>algebraic specification</term>
<term>image processing</term>
<term>specialised languages</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-1396">Notre objectif est la réalisation d'un système de traitement d'images qui soit un outil d'aide au développement de programmes spécifiques. Pour cela, nous avons défini formellement les objets manipulés ainsi que les opérations applicables sur eux. Ceci nous a conduits à la notion de types abstraits algébriques. Nous avons opté pour des spécifications constructives à l'aide de types paramétrés prédéfinis. Nous avons défini deux types de langages répondant chacun aux besoins particuliers des utilisateurs potentiels\, : \begin{itemize} \item d'une part LPSI, un surensemble de PASCAL permettant de décrire des fonctions à l'aide de primitives puissantes, \item d'autre part SAPIN, un langage interactif pour non spécialistes. \end{itemize} Ces deux langages manipulent les mêmes types d'objets. Ainsi l'étape de réalisation s'est ramenée à l'implantation particulière des types spécifiés.</div>
</front>
</TEI>
<BibTex type="inproceedings"><ref>belaid85c</ref>
<crinnumber>85-R-060</crinnumber>
<category>4</category>
<equipe>INCONNUE</equipe>
<author><e>Belaïd, A.</e>
<e>Lévy, N.</e>
</author>
<title>Spécification de types de données images et leur intégration dans des langages spécialisés</title>
<booktitle>{Actes Journées AFCET "Nouveaux langages pour le génie logiciel", Evry}</booktitle>
<year>1985</year>
<month>oct</month>
<keywords><e>algebraic specification</e>
<e>abstract data types</e>
<e>image processing</e>
<e>specialised languages</e>
</keywords>
<abstract>Notre objectif est la réalisation d'un système de traitement d'images qui soit un outil d'aide au développement de programmes spécifiques. Pour cela, nous avons défini formellement les objets manipulés ainsi que les opérations applicables sur eux. Ceci nous a conduits à la notion de types abstraits algébriques. Nous avons opté pour des spécifications constructives à l'aide de types paramétrés prédéfinis. Nous avons défini deux types de langages répondant chacun aux besoins particuliers des utilisateurs potentiels\, : \begin{itemize} \item d'une part LPSI, un surensemble de PASCAL permettant de décrire des fonctions à l'aide de primitives puissantes, \item d'autre part SAPIN, un langage interactif pour non spécialistes. \end{itemize} Ces deux langages manipulent les mêmes types d'objets. Ainsi l'étape de réalisation s'est ramenée à l'implantation particulière des types spécifiés.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004318 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 004318 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:belaid85c |texte= Spécification de types de données images et leur intégration dans des langages spécialisés }}
This area was generated with Dilib version V0.6.33. |