specificaiton < specification < specification and validation

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 101.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000001 (1983)	J. Julliand ; C. Mongenet ; G.-R. Perrin	Formal specification for process communications
000004 (1983)	E. Dubois ; J.-P. Finance ; N. Lévy ; A. Van Lamsweerde	Specification techniques for large information systems
000014 (1984)	J.-J. Thiel	Stop losing sleep over incomplete data type specifications
000042 (1984)	Itle Equipe Eureca	Outils techniques pour la validation et la spécification des types abstraits algébriques
000058 (1984)	J. Durand	Une stratégie de réécriture pour les programmes logiques
000060 (1984)	M.-N. Terrasse ; J. Durand	A propos d'un problème particulier : spécification, analyse et résolution
000061 (1984)	J. Durand	Différentes heuristiques sur une classe d'énoncés spécifiés de façon déclarative
000077 (1984)	E. Kounalis	Use trees, not to puzzle over completeness of data type specifications
000106 (1984)	M. Boukakiou	Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
000109 (1984)	M. Benmaiza	Le concept d'événement dans la spécification et programmation d'applications temps réel
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
000120 (1984)	L. Soufi	Un système d'aide à la construction de programmes itératifs
000121 (1984)	J. Durand	LOGRE : un prototype de système de programmation en logique utilisant des techniques de réécriture
000122 (1984)	N. Lévy	Outils d'aide à la construction et transformation de types abstraits algébriques
000126 (1984)	J. Thevenot	Spécification participative d'un système d'information de gestion
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
000179 (1985)	M. S. Ouerghi	Application of algebraic specification to the definition of the semantics of parallel programming languages
000223 (1985)	O. Thiéry ; J.-P. Finance ; C. Rolland	LASSIF : Un LAngage de Spécification de Systèmes d'InFormation
000235 (1985)	G.-R. Perrin	La communication : un outil pour la spécification, la construction et la vérification de systèmes parallèles
000254 (1986)	E. Dubois ; J.-P. Finance ; N. Lévy ; J. Souquières	SACSO : Un système d'aide à la construction de spécifications opérationnelles pour les systèmes d'informations

---

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

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