abstract data type < abstract data types < abstract data-type

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
000004 (1983)	E. Dubois ; J.-P. Finance ; N. Lévy ; A. Van Lamsweerde	Specification techniques for large information systems
000016 (1984)	J.-P. Finance ; M. Grandbastien ; N. Lévy ; A. Quéré ; J. Souquières	SPES : un système pour spécifier et transformer
000017 (1984)	H. Kirchner	A general inductive completion algorithm and application to abstract data types
000038 (1984)	H. Zhang	Validation des types abstraits par tests
000042 (1984)	Itle Equipe Eureca	Outils techniques pour la validation et la spécification des types abstraits algébriques
000106 (1984)	M. Boukakiou	Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
000108 (1984)	S. Ouerghi	Sémantique algébrique d'un langage de programmation supportant le concept des processus communicants
000111 (1984)	E. Dubois	Cadre et méthode de spécification de systèmes d'information fondés sur les types de données
000115 (1984)	N. Boudjlida	SINDBAD : un système expérimental d'aide à la spécification et à l'utilisation de bases de données déductives
000122 (1984)	N. Lévy	Outils d'aide à la construction et transformation de types abstraits algébriques
000131 (1985)	A. Belaïd	Un langage de traitement d'images fondé sur des concepts de types abstraits
000163 (1985)	N. Boudjlida ; J.-J. Chabrier	Bases de données déductives et types abstraits de données --- Le système expérimental SINDBAD
000171 (1985)	O. Thiéry ; J.-P. Finance	A modelling based on abstract types for business management information systems
000179 (1985)	M. S. Ouerghi	Application of algebraic specification to the definition of the semantics of parallel programming languages
000191 (1985)	A. Belaïd ; N. Lévy	Spécification de types de données images et leur intégration dans des langages spécialisés
000192 (1985)	A. Belaïd	Panorama des types images utilisés dans LPSI et leur spécification algébrique
000232 (1985)	O. Thiéry	LASSIF : LAngage de Spécification des Systèmes d'InFormation. Logiciel d'Aide à la Spécification des Systèmes d'Information
000397 (1987)	A. Belaïd ; Z. Boufriche	Hierarchical specification of image data types and its use in a high level language
000522 (1987)	A. Belaïd	Méthodes et outils de programmation de systèmes de traitement d'images : le projet SAPIN
000539 (1988)	O. Thiéry ; J.-P. Finance	Modéliser un Système d'Information à l'aide des types abstraits - L'exploiter sous forme relationnelle
000559 (1988)	M. Grandbastien	Un système à base de connaissances pour le choix de représentations physiques de données abstraites - version étendue

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "abstract data types" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "abstract data types" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    abstract data types
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022