N. Lunina < N. Lévy < N. Mairot

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][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
000122 (1984)	N. Lévy	Outils d'aide à la construction et transformation de types abstraits algébriques
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
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
000264 (1986)	E. Dubois ; N. Lévy ; J. Souquières	SACSO : méthode et outils de construction de spécifications de systèmes
000354 (1986)	N. Lévy ; E. Dubois ; J.-P. Finance	Transformation operators for manipulating algebraic specifications
000453 (1987)	E. Dubois ; N. Lévy ; J. Souquières	Formalising restructuring operators in a specification process
000455 (1987)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire ; A. Hadjadji ; A. Piganiol	SACSO : système d'aide à la construction et à la validation de spécifications
000478 (1987)	N. Lévy ; J. Souquières	Structuring and restructuring operators in a specification construction process
000655 (1988)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
000744 (1989)	J. Souquières ; N. Lévy	Some Operators for Specification Reuse
000777 (1989)	N. Lévy	Some Operators for Specification Handling
000896 (1990)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
000A41 (1990)	N. Lévy	Definition of Add_an_Invariant, a Specification Construction Process Operator
000A42 (1990)	N. Lévy	Definition of AddaComponent, a Specification Construction Process Operator
000C12 (1991)	N. Lévy ; J. Souquières	Formalized Development of a Specification : A Case Study
000C26 (1991)	N. Lévy	Using Class Operators to Construct Objet-Z Specifications : A Case Study
000D42 (1992)	N. Lévy ; J.-P. Jacquot	Vade-mecum ISETL
000F39 (1992)	N. Lévy	Adjonction des droits d'accès dans la spécification UNIX
001034 (1993)	J. Souquières ; N. Lévy	Description of Specification Developments

---

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/Author.i -k "N. Lévy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i  \
                -Sk "N. Lévy" \
         | 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=    Author.i
   |clé=    N. Lévy
}}

---

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