Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « N. Lévy »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
N. Lunina < N. Lévy < N. M. Chêne  Facettes :

List of bibliographic references indexed by N. Lévy

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]
Ident.Authors (with country if any)Title
00C386 (1995) N. LévyImproving a Framework for Modelling Specifications Development
00C387 (1995) N. LévyImproving a Framework for Modelling Specifications Development
00C436 (1995) N. LévyImproving PROPLANE : A Specification Development Framework
00C491 (1995) N. LévyModelling Specifications Development
00CA13 (1994) N. Lévy ; G. SmithA Language-Independent Approach to Object-Oriented Specification Construction
00CA33 (1994) N. Lévy ; G. SmithA Language-Independent Approach to Specification Construction
00CB83 (1994) J.-M. Hufflen ; N. LévyPrototypes : their Functions and their Design
00CC04 (1994) Abdelkader Dekdouk ; N. El Cadi ; J.-M. Hufflen ; P. Kaboré ; T. Lambolais ; N. Lévy ; A. Schaff ; J. SouquièresAide à la contruction et à la réutilisation de spécifications formelles
00CE69 (1993) D. Bert ; M. Bidoit ; C. Choppy ; R. Echahed ; J.-M. Hufflen ; J.-P. Jacquot ; M. Lemoine ; N. Lévy ; J.-C. Reynaud ; C. Roques ; F. Voisin ; J.-P. Finance ; M.-C. GaudelOpération S.A.L.S.A. : Structure d'AccueiL pour Spcécifications Algébriques
00D013 (1993) J.-P. Jacquot ; N. LévySoftware Engineering Perspective in an Introductory Computer Science Course
00D019 (1993) N. LévyA Library to Construct and Modify Specifications
00D028 (1993) J. Souquières ; N. LévyDescription of Specification Developments
00D264 (1992) N. Lévy ; J.-P. JacquotVade-mecum ISETL
00D346 (1992) N. LévyAdjonction des droits d'accès dans la spécification UNIX
00D808 (1991) N. LévyUsing Class Operators to Construct Objet-Z Specifications : A Case Study
00D926 (1991) N. Lévy ; J. SouquièresFormalized Development of a Specification : A Case Study
00DB98 (1990) N. LévyDefinition of Add_an_Invariant, a Specification Construction Process Operator
00DC09 (1990) N. LévyDefinition of AddaComponent, a Specification Construction Process Operator
00DD03 (1990) J.-P. Finance ; N. Lévy ; J. Souquières ; A. ValdenaireSACSO : un environnement d'aide à la spécification
00DF40 (1989) J. Souquières ; N. LévySome Operators for Specification Reuse
00DF55 (1989) N. LévySome Operators for Specification Handling

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "N. Lévy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "N. Lévy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    N. Lévy
}}
Wicri

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