J.-P. Elloy < J.-P. Finance < J.-P. Haton

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
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
000081 (1984)	J.-P. Finance ; J. Jaray ; J. Julliand ; M. Marmonnier ; G.-R. Perrin	How to construct parallel programs --- An example
000103 (1984)	Amédée Ducrin ; M. Quéré ; C. Pair ; J. Souquières ; J. Guyard ; J.-P. Finance ; M. Créhange ; N. Hertschuh	Programmation. Tome 1 : Du problème à l'algorithme. Tome 2 : De l'algorithme au progranne Basic - Pascal - LSE
000156 (1985)	J.-P. Finance ; J. Souquières	A method and a language for constructing iterative programs
000157 (1985)	J. Souquières ; J.-P. Finance	Description and improvment of iterative program transformations
000171 (1985)	O. Thiéry ; J.-P. Finance	A modelling based on abstract types for business management information systems
000173 (1985)	J. Maroldt ; J.-P. Finance	Typologie des systèmes informatiques utilisés pour la résolution des problèmes complexes
000223 (1985)	O. Thiéry ; J.-P. Finance ; C. Rolland	LASSIF : Un LAngage de Spécification de Systèmes d'InFormation
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
000268 (1986)	G.-R. Perrin ; J.-P. Finance	Parallel program design by reasoning on communication specification
000297 (1986)	B. El Ayeb ; J.-P. Finance	Cooperation between a relational databases system and a inference based system COOP : an experimental system
000319 (1986)	A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. Perrin	Réalisation des types de communication en ADA
000326 (1986)	E. Dubois ; J.-P. Finance ; A. Van Lamsveerde	A constructive approach to requirements specification
000354 (1986)	N. Lévy ; E. Dubois ; J.-P. Finance	Transformation operators for manipulating algebraic specifications
000364 (1986)	J.-P. Finance ; J. Souquières	Quels outils pour quelles méthodes ?
000368 (1986)	J.-P. Finance ; C. Gresse ; P. Jacquet ; G.-R. Perrin ; A. Quéré	Raisonner pour programmer
000445 (1987)	G.-R. Perrin ; J.-P. Finance	Paradigms for parallel program design
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
000539 (1988)	O. Thiéry ; J.-P. Finance	Modéliser un Système d'Information à l'aide des types abstraits - L'exploiter sous forme relationnelle
000590 (1988)	B. El Ayeb ; J.-P. Finance	Conventional Database and Inference Process

---

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

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