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
002B98 (1995)	N. Lévy	Improving a Framework for Modelling Specifications Development
002B99 (1995)	N. Lévy	Improving a Framework for Modelling Specifications Development
002C48 (1995)	N. Lévy	Improving PROPLANE : A Specification Development Framework
002D03 (1995)	N. Lévy	Modelling Specifications Development
002F82 (1994)	N. Lévy ; G. Smith	A Language-Independent Approach to Object-Oriented Specification Construction
003002 (1994)	N. Lévy ; G. Smith	A Language-Independent Approach to Specification Construction
003152 (1994)	J.-M. Hufflen ; N. Lévy	Prototypes : their Functions and their Design
003173 (1994)	Abdelkader Dekdouk ; N. El Cadi ; J.-M. Hufflen ; P. Kaboré ; T. Lambolais ; N. Lévy ; A. Schaff ; J. Souquières	Aide à la contruction et à la réutilisation de spécifications formelles
003269 (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. Gaudel	Opération S.A.L.S.A. : Structure d'AccueiL pour Spcécifications Algébriques
003413 (1993)	J.-P. Jacquot ; N. Lévy	Software Engineering Perspective in an Introductory Computer Science Course
003419 (1993)	N. Lévy	A Library to Construct and Modify Specifications
003428 (1993)	J. Souquières ; N. Lévy	Description of Specification Developments
003521 (1992)	N. Lévy ; J.-P. Jacquot	Vade-mecum ISETL
003603 (1992)	N. Lévy	Adjonction des droits d'accès dans la spécification UNIX
003885 (1991)	N. Lévy	Using Class Operators to Construct Objet-Z Specifications : A Case Study
003A03 (1991)	N. Lévy ; J. Souquières	Formalized Development of a Specification : A Case Study
003B43 (1990)	N. Lévy	Definition of Add_an_Invariant, a Specification Construction Process Operator
003B54 (1990)	N. Lévy	Definition of AddaComponent, a Specification Construction Process Operator
003C48 (1990)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
003D71 (1989)	J. Souquières ; N. Lévy	Some Operators for Specification Reuse
003D86 (1989)	N. Lévy	Some Operators for Specification Handling

---

List of associated KwdEn.i

Nombre de documents	Descripteur
9	specification
5	abstract data types
4	algebraic specification
3	formal specification
2	algebraic specification of abstract data types
2	development process
2	meta-programming language
2	operators
2	process operators
2	restructuring operators
2	reuse
2	specification environment
1	SETL
1	abstract data type
1	algabraic specification of abstract data types
1	algebraic
1	algebraic data types
1	applicability criteria
1	application oriented
1	application-specific techniques
1	communication protocoles
1	construction
1	development methodology
1	development operator
1	discrete mathematics
1	environment
1	formal methods and the project life-cycle
1	formal specification language
1	glider
1	goal-oriented
1	image processing
1	information systems
1	inheritance
1	inheritance specification derivation
1	integrated tools
1	introductory course
1	invariant
1	methodic construction
1	object-oriented notation and methods
1	operators for specification handling and reuse
1	parametrisation
1	predefined transformations
1	presentation
1	process
1	product
1	program development
1	programming environment
1	rationale
1	redundancy
1	refinement
1	representation
1	requirement
1	reusability
1	software engineering education
1	specialised languages
1	specification derivation
1	specification development
1	specification method
1	stepwise
1	structure
1	structuring operators
1	tools
1	transformation
1	transformations
1	type constructors
1	validation
1	very high level language
1	workplah

---

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

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