algebraic semantic < algebraic specification < algebraic specification of abstract data types

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000038 (1984)	H. Zhang	Validation des types abstraits par tests
000089 (1984)	M. S. Ouerghi	Une formalisation des concepts de communication et de non-déterminisme par des techniques de spécifications algébriques
000108 (1984)	S. Ouerghi	Sémantique algébrique d'un langage de programmation supportant le concept des processus communicants
000119 (1984)	H. Zhang	REVEUR 4 : étude et mise en œuvre de la réécriture conditionnelle
000122 (1984)	N. Lévy	Outils d'aide à la construction et transformation de types abstraits algébriques
000140 (1985)	E. Kounalis	Completeness in data type specifications
000148 (1985)	E. Kounalis ; H. Zhang	A general completeness test for equational specifications
000155 (1985)	M. S. Ouerghi	Application des techniques de spécifications algébriques pour spécifier les processus communicants
000169 (1985)	E. Kounalis ; H. Zhang	Testing completeness of conditional specifications
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
000239 (1985)	E. Kounalis	Validation des spécifications algébriques par complétion inductive
000353 (1986)	W. Bousdira	Complétion des systèmes de réécriture contextuelle
000354 (1986)	N. Lévy ; E. Dubois ; J.-P. Finance	Transformation operators for manipulating algebraic specifications
000571 (1988)	W. Bousdira	A Completion Procedure for Hierarchical Conditional Equations
000727 (1989)	J.-L. Rémy ; S. Uhrig	An Algorithm for Testing Sufficient Completeness of a Simple Class of Conditional Specifications
000773 (1989)	A. Mégrelis	A Logic of Semi-functions, Inclusion and Equality. The setting
000851 (1990)	R. Schott ; M. Tajine	How to Find the Complexity of Algebraic Specifications ?
000982 (1990)	J. Souquières	Development of Specifications by Propagation Mechanisms
000C56 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
001217 (1993)	N. Lévy	A Library to Construct and Modify Specifications

---

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 "algebraic specification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "algebraic specification" \
         | 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é=    algebraic specification
}}

---

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