J.-P. Elloy < J.-P. Finance < J.-P. Jacquot

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]

Ident.	Authors (with country if any)	Title
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
003665 (1992)	G.-R. Perrin ; J.-P. Finance	Communication Relations : A Paradigm for Parallel Program Design
003731 (1992)	F. Alexandre ; Khaled Bsaies ; J.-P. Finance ; A. Quéré	SPES : A System for Logic Program Transformation
003836 (1991)	J.-P. Finance ; J. Souquières	A Development Process Meta-Model
003B25 (1990)	J.-P. Finance	Histoire de la recherche en informatique à Nancy
003C28 (1990)	J.-P. Jacquot ; J.-P. Finance	Organisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
003C48 (1990)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
003D85 (1989)	J.-P. Jacquot ; J.-P. Finance	Organisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
003D99 (1989)	N. Lazrak ; G.-R. Perrin ; J.-P. Finance	Verification of Elementary Properties in Abstract Data Types
003E26 (1988)	O. Thiéry ; J.-P. Finance	Modéliser un Système d'Information à l'aide des types abstraits - L'exploiter sous forme relationnelle
003E93 (1988)	B. El Ayeb ; J.-P. Finance	On Cooperation between Deep and Shallow Reasoning S.I.D.I. : An Expert System for Troubleshooting Diagnosis in large Industrial Plants
003F63 (1988)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
003F68 (1988)	B. El Ayeb ; J.-P. Finance	Conventional Database and Inference Process
003F69 (1988)	F. Alexandre ; J.-P. Finance ; A. Quéré	SPES : A System for Transforming Logic Programs
003F71 (1988)	A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. Perrin	Spécification et réalisation des types de communication
004088 (1987)	G.-R. Perrin ; J.-P. Finance	Paradigms for parallel program design
004138 (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
004179 (1986)	J.-P. Finance ; J. Souquières	Quels outils pour quelles méthodes ?
004214 (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
004215 (1986)	G.-R. Perrin ; J.-P. Finance	Parallel program design by reasoning on communication specification
004228 (1986)	J.-P. Finance ; C. Gresse ; P. Jacquet ; G.-R. Perrin ; A. Quéré	Raisonner pour programmer

---

List of associated KwdEn.i

Nombre de documents	Descripteur
7	specification
5	information systems
4	abstract data types
4	program development
2	abstract data type
2	communication
2	iteration
2	linear lists
2	parallel programming
2	parallelism
2	program construction
2	program methodology
2	refinement
2	specification environment
1	Prolog
1	ada
1	algebraic specification
1	applicability criteria
1	application oriented
1	communicating processes
1	computer-aided design
1	computing center
1	cooperation
1	database
1	databases
1	expert system
1	expert systems
1	folding
1	formal specification
1	formal systems
1	goal-oriented
1	inference
1	inference process
1	language
1	languages
1	local area network
1	logic programming
1	meta-model for the development process
1	methodic construction
1	optimizing inference process
1	organization
1	planning operator
1	predefined transformations
1	processus
1	program complexity
1	program design
1	program developments
1	program transformation
1	programming environment
1	programming methodology
1	programming paradigms
1	reasoning
1	relational databases
1	representation
1	requirement
1	requirements
1	resolution principle
1	reusability
1	reuse
1	semantics
1	software design
1	software engineering
1	stepwise
1	strategies
1	strategy
1	tactic
1	tactics
1	transformation
1	transformation rules
1	transformations rules
1	unfolding
1	validation
1	very high level language
1	workplan

---

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 "J.-P. Finance" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "J.-P. Finance" \
         | 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é=    J.-P. Finance
}}

---

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