Rapport Année : 1970

PROJET SOCRATE

Résumé

Ce document « Projet SOCRATE (1) – Spécifications générales » est le premier document d'une thèse de groupe sur le projet SOCRATE dirigé par Jean-Raymond Abrial à Grenoble. Les 3 thèses (doctorats de mathématiques appliquées) sont présentées le 22 décembre 1970 à l'université de Grenoble par Georges Vigliano, Georges Beaume et Robert Morin. Elles sont référencées sur HAL. 1- Georges Vigliano : "Projet SOCRATE (2.1) – Langage de requête" https://theses.hal.science/tel-00009478v1 2- Georges Beaume : "Projet SOCRATE (2.2) – Gestion des Mémoires" https://theses.hal.science/tel-00282344v1 3- Robert Morin : "Projet SOCRATE (2.3) – Interprétation et Compilation" https://theses.hal.science/tel-00009475v1

Fichier principal
Vignette du fichier
Projet SOCRATE - 1) spécifications générales - août 1970.pdf (26.99 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
HAL

Cite tel-00009478 Thèse de doctorat Georges Vigliano. Projet SOCRATE (2-1) : Langage de requêtes. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩. ⟨tel-00009478⟩

HAL

Cite tel-00282344 Thèse de doctorat Georges Beaume. Projet SOCRATE (2-2) : Gestion des mémoires. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩. ⟨tel-00282344⟩

HAL

Cite tel-00009475 Thèse de doctorat Robert Morin. Projet SOCRATE - (2-3) Interprétation et compilation. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨NNT : ⟩. ⟨tel-00009475⟩

Dates et versions

hal-05163683 , version 1 (15-07-2025)

Licence

Identifiants

  • HAL Id : hal-05163683 , version 1

Citer

Jean-Raymond Abrial, Jacques Bas, Georges Beaume, Gérard Henneron, Robert Morin, et al.. PROJET SOCRATE. Université de Grenoble (France). 1970, pp.353. ⟨hal-05163683⟩

Collections

53 Consultations
40 Téléchargements

Partager

  • More