quere83a83-R-0413INCONNUEQuéré, M.{Proceedings Sixth International Conference on Computers and the Humanities, Raleigh}1983computer-assisted instructioncomputer litteracyauthoring systems julliand83a83-R-06715INCONNUEJulliand, J.Mongenet, C.Perrin, G.-R.Centre de Recherche en Informatique de Nancy1983Rapport interne

Vandoeuvre-lès-Nancy

specification quere83b83-R-0862INCONNUEQuéré, M.Bulletin de l'EPI1983computer assisted instructionauthoring systemsCet article, destiné à des enseignants, situe dans une perspective historique les outils nécessaires à l'enseignement assisté par ordinateur. Il donne ensuite une classification des outils de production, avec leurs évolutions récentes, puis donne le détail des fonctionnalités avancées. Cet article a été repris par le Journal de la Formation Continue et de l'EAO sous le titre ``Langages d'auteur d'hier et d'aujourd'hui''. carbonell83a83-R-1051DIALOGUECarbonell, N.Haton, J.-P.Pierrel, J.-M.Lonchamp, F.Speech Communication198322-3231-233JulExpert 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. dubois83a84-R-0436INCONNUEDubois, E.Finance, J.-P.Lévy, N.Van Lamsweerde, A.{Actes Symposium IBM-FNRS, Bruxelles (Belgique)}19839requirementspecificationgoal-orientedstepwiserefinementabstract data typesapplication orientedvery high level languageWe 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. nassif83a84-T-0169INCONNUENassif, R.Inconnue1983

Nancy

sepabstractionmodularitysoftware engineeringmulti-databaserelational modelconfidentialityintegritysecurityvirtual relationconstraintDans ce travail, nous nous sommes intéressés aux problèmes de confidentialité et d'intégrité dans les multibases de données relationnelles, l'approche multibase (LIT (81)) permettant d'aborder les problèmes de la répartition d'un point de vue logique et non physique. Dans notre système de gestion de multibases de données (ADONIS), la confidentialité est assurée par l'utilisation de relations virtuelles et de prédicats de sécurité. Tout utilisateur peut avoir le droit de donner et de révoquer des autorisations d'accès sur des données à d'autres utilisateurs. ADONIS permet aussi de mettre des contraintes d'intégrité statiques et dynamiques sur les multibases. ADONIS a été implanté en CLU sur VAX 74O. L'utilisation d'un langage supportant les concepts d'abstraction et de modularité (CLU) nous est apparue nécessaire afin de pouvoir utiliser les techniques de développement relevant du génie logiciel lors de la conception et de la réalisation de notre système. Assurément, la maintenance, l'évolutivité et la transportabilité d'ADONIS peuvent alors se faire à moindre coût.