@INPROCEEDINGS{quere83a,
       CRINNUMBER = {83-R-041},
       CATEGORY = {3},
       EQUIPE = {INCONNUE},
       AUTHOR  = {Qu{\'e}r{\'e}, M.},
       TITLE = {Computers in Education The French Experiment},
       BOOKTITLE = {{Proceedings Sixth International Conference on Computers and the Humanities, Raleigh}},
       YEAR ={ 1983},
       KEYWORDS  = {computer-assisted instruction, computer litteracy, authoring systems},
}


   @TECHREPORT{julliand83a,
       CRINNUMBER = {83-R-067},
       CATEGORY = {15},
       EQUIPE = {INCONNUE},
       AUTHOR  = {Julliand, J. and Mongenet, C. and Perrin, G.-R.},
       TITLE = {Formal specification for process communications},
       INSTITUTION={Centre de Recherche en Informatique de Nancy},
       YEAR ={ 1983},
       TYPE = {Rapport interne},
       ADDRESS = {Vandoeuvre-l{\`e}s-Nancy},
       KEYWORDS  = {specification},
}


   @ARTICLE{quere83b,
       CRINNUMBER = {83-R-086},
       CATEGORY = {2},
       EQUIPE = {INCONNUE},
       AUTHOR  = {Qu{\'e}r{\'e}, M.},
       TITLE = {Outils pour l'enseignement assist{\'e} par ordinateur},
       JOURNAL = {Bulletin de l'EPI},
       YEAR ={ 1983},
       KEYWORDS  = {computer assisted instruction, authoring systems},
       ABSTRACT  = {Cet article, destin{\'e} {\`a} des enseignants, situe dans une perspective historique les outils n{\'e}cessaires {\`a} l'enseignement assist{\'e} par ordinateur. Il donne ensuite une classification des outils de production, avec leurs {\'e}volutions r{\'e}centes, puis donne le d{\'e}tail des fonctionnalit{\'e}s avanc{\'e}es. Cet article a {\'e}t{\'e} repris par le Journal de la Formation Continue et de l'EAO sous le titre ``Langages d'auteur d'hier et d'aujourd'hui''.},
}


   @ARTICLE{carbonell83a,
       CRINNUMBER = {83-R-105},
       CATEGORY = {1},
       EQUIPE = {DIALOGUE},
       AUTHOR  = {Carbonell, N. and Haton, J.-P. and Pierrel, J.-M. and Lonchamp, F.},
       TITLE = {Elaboration d'un syst{\`e}me expert pour le d{\'e}codage phon{\'e}tique automatique de la parole},
       JOURNAL = {Speech Communication},
       YEAR ={ 1983},
       VOLUME = {2},
       NUMBER = {2-3},
       PAGES = {231-233},
       MONTH ={ Jul},
       ABSTRACT  = {Expert systems have been extensively used as a mean for integrating the expertise of a human being into an artificial intelligence system. Our group is presently designing an expert system which will integrate the strategy and the knowledge of a phonetician reading a speech spectrogram. Our goal is twofold, firstly to obtain a better insight into the acoustic-decoding of speech, and, secondly, to improve the efficiency of present automatic phonetic recognition systems. This paper presents a preliminary description of the project, especially the overall strategy of the expert and the role of duration parameters in the segmentation and identification processes.},
}


   @INPROCEEDINGS{dubois83a,
       CRINNUMBER = {84-R-043},
       CATEGORY = {6},
       EQUIPE = {INCONNUE},
       AUTHOR  = {Dubois, E. and Finance, J.-P. and L{\'e}vy, N. and Van Lamsweerde, A.},
       TITLE = {Specification techniques for large information systems},
       BOOKTITLE = {{Actes Symposium IBM-FNRS, Bruxelles (Belgique)}},
       YEAR ={ 1983},
       PAGES = {9},
       KEYWORDS  = {requirement, specification, goal-oriented, stepwise, refinement, abstract data types, application oriented, very high level language},
       ABSTRACT  = {We present some techniques for constructing structured specifications for large information systems. The specification is partitionned into a specification of functions to be achieved by the system and a specification of the various data types manipulated. We present a meta-algorithm to be followed by the specifier, in which the system functions and data are specified concurrently, by iterative refinement of operations between outputs, intermediate results and inputs. This process is goal oriented and is guided by the type of the results. These types are specified using predefined types and types constructors, appears to play a central role.},
}


   @PHDTHESIS{nassif83a,
       CRINNUMBER = {84-T-016},
       CATEGORY = {9},
       EQUIPE = {INCONNUE},
       AUTHOR  = {Nassif, R.},
       TITLE = {Projet ADONIS\,: conception et r{\'e}alisation d'un syst{\`e}me de gestion de multibases de donn{\'e}es},
       SCHOOL = {Inconnue},
       YEAR ={ 1983},
       ADDRESS = {Nancy},
       MONTH ={ sep},
       KEYWORDS  = {abstraction, modularity, software engineering, multi-database, relational model, confidentiality, integrity, security, virtual relation, constraint},
       ABSTRACT  = {Dans ce travail, nous nous sommes int{\'e}ress{\'e}s aux probl{\`e}mes de confidentialit{\'e} et d'int{\'e}grit{\'e} dans les multibases de donn{\'e}es relationnelles, l'approche multibase (LIT (81)) permettant d'aborder les probl{\`e}mes de la r{\'e}partition d'un point de vue logique et non physique. Dans notre syst{\`e}me de gestion de multibases de donn{\'e}es (ADONIS), la confidentialit{\'e} est assur{\'e}e par l'utilisation de relations virtuelles et de pr{\'e}dicats de s{\'e}curit{\'e}. Tout utilisateur peut avoir le droit de donner et de r{\'e}voquer des autorisations d'acc{\`e}s sur des donn{\'e}es {\`a} d'autres utilisateurs. ADONIS permet aussi de mettre des contraintes d'int{\'e}grit{\'e} statiques et dynamiques sur les multibases. ADONIS a {\'e}t{\'e} implant{\'e} en CLU sur VAX 74O. L'utilisation d'un langage supportant les concepts d'abstraction et de modularit{\'e} (CLU) nous est apparue n{\'e}cessaire afin de pouvoir utiliser les techniques de d{\'e}veloppement relevant du g{\'e}nie logiciel lors de la conception et de la r{\'e}alisation de notre syst{\`e}me. Assur{\'e}ment, la maintenance, l'{\'e}volutivit{\'e} et la transportabilit{\'e} d'ADONIS peuvent alors se faire {\`a} moindre co{\^u}t. },
}