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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
![]()
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⟩
![]()
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⟩
![]()
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⟩