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
000605 (2004)	Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch	Deductive Verification of Distributed Groupware Systems
000727 (2004)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
001114 (2002)	Egidio Astesiano ; Michel Bidoit ; Hélène Kirchner ; Bernd Krieg-Brückner ; Peter D. Mosses ; Donald Sannella ; Andrzej Tarlecki	CASL : The Common Algebraic Specification Language
001115 (2002)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
002032 (1999)	Ahmed Jebali	Vérification Observationnelle
002A75 (1995)	V. Antimirov	Rewriting Regular Inequalities
002B83 (1995)	C. Hintermeier ; H. Kirchner ; P.-D. Mosses	Combining Algebraic and Set-Theoretic Specifications
002D30 (1995)	C. Hintermeier ; C. Kirchner ; H. Kirchner	Sort Inheritance for Order-Sorted Equational Presentations
003419 (1993)	N. Lévy	A Library to Construct and Modify Specifications
003997 (1991)	E. Kounalis ; M. Rusinowitch	Automatic Proof Methods for Algebraic Specifications
003B85 (1990)	J. Souquières	Development of Specifications by Propagation Mechanisms
003B86 (1990)	R. Schott ; M. Tajine	How to Find the Complexity of Algebraic Specifications ?
003D45 (1989)	J.-L. Rémy ; S. Uhrig	An Algorithm for Testing Sufficient Completeness of a Simple Class of Conditional Specifications
003D55 (1989)	A. Mégrelis	A Logic of Semi-functions, Inclusion and Equality. The setting
003F19 (1988)	W. Bousdira	A Completion Procedure for Hierarchical Conditional Equations
004170 (1986)	W. Bousdira	Complétion des systèmes de réécriture contextuelle
004229 (1986)	N. Lévy ; E. Dubois ; J.-P. Finance	Transformation operators for manipulating algebraic specifications
004311 (1985)	M. S. Ouerghi	Application des techniques de spécifications algébriques pour spécifier les processus communicants
004318 (1985)	Abdel Belaïd [France] ; N. Lévy	Spécification de types de données images et leur intégration dans des langages spécialisés
004325 (1985)	Abdel Belaïd [France]	Panorama des types images utilisés dans LPSI et leur spécification algébrique
004334 (1985)	E. Kounalis	Validation des spécifications algébriques par complétion inductive

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "algebraic specification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "algebraic specification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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