Ils en parlent, Jean-Raymond Abrial à Grenoble/They're talking about it, Jean-Raymond Abrial in Grenoble

Ils en parlent, Jean-Raymond Abrial `a Grenoble
Habrias Henri
Henri.Habrias@univ-nantes.fr

” Le génie de JRA était tel qu’il arrivait à nous persuader que nous en savions
autant que lui. Il nous exposait les problèmes à résoudre, nous en présentait des
solutions et nous en discutions. Le lendemain il nous apportait le squelette de
l’algorithme qu’il avait écrit dans la nuit. Nous le simulions à la main au tableau
noir afin d’en déterminer les pièges et les erreurs. Et tout le logiciel était ainsi
mis à l’épreuve, par modules indépendants, au fur et à mesure que nous le concevions.”
Témoignage de Georges Vigliano, in Bernard Germain, ”15 ans
et 1 jour”, éditions Glénat, Grenoble, 2006

” à Jean-Raymond Abrial : a donné à cette équipe un esprit et une méthode.
Il a su nous communiquer son enthousiasme et son dynamisme pour le projet
SOCRATE ” Georges Beaume, thèse, 1970

”Dès son arrivée il [J.-R. Abrial] communique à sa future équipe ses idées
précises sur son mode de fonctionnement en recherche selon ce qu’on appellera
ultérieurement ” gestion de projet ” : - il part du principe qu’on ne doit pas ”
programmer ” sans avoir ”spécifié” ce qu’on veut programmer, et il exclut les
démarches consistant à programmer pour vérifier par tests qu’une spécification
est correcte. - Ainsi il se fixe un délai de un mois pour réaliser l’écriture d’une
spécification, imaginant qu’elle aura 100 procédures tenant dans un document
de 100 pages. - ensuite 3 mois pour que l’équipe comprenne et s’approprie la
spécification, - et enfin seulement on passera à la programmation. ” François
Peccoud

 
François Peccoud qui a eu un ”rôle d’initiateur du projet Socrate”, fut enseignant à l’IUT B de Grenoble et Directeur de l’UTC (Université de Technologie de Compiègne)
source : Jean Ricodeau, Le cycle de vie de Socrate, logiciel informatique
de bases de données, de 1963 à 1990 : Parcours professionnels et innovations, à
Grenoble territoire de coopérations Université-Entreprises, Mémoire de Master
1, Sciences humaines et sociales , version 7/06/2016

”J ’ai eu J.-R. Abrial comme professeur en 2nde année de maîtrise à l’ IMAG
et en DEA. J’avais conservé un polycopié de son cours sur les bases de données
et les fondements des systèmes de programmation, cours bénévole au delà des
heures, polycopié manuscrit qu’il avait lui même retiré à la machine à alcool.
Des interventions passionnantes, l’amphi était réellement captivé, les exemples étant ”parlants” bien que reposant sur un substrat théorique rigoureux. En DEAé galement une continuité, plus axée sur la logique formelle, les preuves de programme.
J’ai conservé ces manuscrits, versés maintenant au fonds de l’Aconit.[...]
Après quelques années (stage d’étés à l’IRIA Roquencourt et à la TU Berlin,
coopération militaire enseignant au CERI d’Alger, contrats de R&D à l’IMAG
sur des sujets g´énie logiciel, opérating ystems) j’ai quitté la fac. pour rejoindre
l’équipe de développement SOCRATE de SYSECA à Grenoble en 1976. J’ai
contribué au développement de SOCRATE IBM et SOCRATE SOLAR sous
la direction des 3 thésards pilotés par JR ABRIAL (Beaume, Morin, Vigliano)
jusqu’en 1982. [...] `à partir de 1989, je suis revenu dans le monde industriel,
en mettant à profit ces acquis de nouveau au sein de SYSECA avec la mission
de produire un noyau de SGBD CLIO/SQL. En 2 ans avec une quinzaine
d’ingénieurs un SGBD-R multimodèles sous UNIX/PC était disponible. Le produit
nommé ensuite ORCHIS-base ”challengeait” ORACLE V6 à l’époque au
plan industriel. Nous avons même été dans les premiers au monde à acquérir la
suite de validation SQL du NIST.”
Christian Jullien, courriel personnel, novembre 2024, voir aussi
https://www.echosciences-grenoble.fr/articles/recherche-industrie-informatiquegrenoble-
a-t-elle-eu-en-main-les-cles-du-big-data-7-12-2021

Fig. 1. Christian Jullien - cours de structures de donn´ees de JR Abrial
” J’ ai eu Jean-Raymond Abrial comme prof sur les syst`emes d’exploitation
`a l’ENSIMAG durant l’ann´ee 1970-1971. Il ´etait excellent et pr´esentait tr`es simplement
des concepts complexes. Il ´etait tr`es appr´eci´e par les ´el`eves. J’ai ´et´e le
premier `a utiliser SOCRATE pour programmer un gros logiciel de 1972 `a 1975,
celui de ma th`ese de docteur ing´enieur `a l’IMAG. SOCRATE ´etait un outil
III
exceptionnel, tr`es facile `a utiliser avec de nombreuses nouveaut´es. SOCRATE
´etait tr`es fiable. J’avais ´et´e ´emerveill´e par cet outil. L’´equipe qui d´eveloppait
SOCRATE ´etait constitu´ee d’ing´enieurs/chercheurs tr`es comp´etents et tr`es conviviaux
qui travaillaient sous la responsabilit´e de Jean-Raymond Abrial que tous
l’appr´eciaient pour ses comp´etences, ses id´ees g´eniales et sa modestie. J’avais
´et´e ´etonn´e que Jean-Raymond Abrial, polytechnicien qui avait une aura considérable, ne veuille pas présenter sa candidature pour devenir professeur des
universit´es `a l’IMAG, mais cela correspondait à son esprit anti-conformiste. (1)
Ma th`èe de docteur ingénieur : ”Organisation assistée d’un enseignement
modulaire” Président : J. Kuntzmann, Rapporteur : F. Peccoud, Examinateurs :
J. Bellino, L. Bolliet, C. Delobel, J. Perriault, Université Scientifique et Médicale
de Grenoble, Institut National Polytechnique de Grenoble (IMAG), 29 novembre
1975. ” Xavier Castallani, janvier 2025
Xavier Castellani a été professeur au d´épartement informatique `a l’IUT de La
Rochelle puis `a l’IEE du Cnam.

(1) Notons que J-R Abrial n’a pas passé de thèse. Il n’est pas le seul ! Tony Hoare, Jean
Ishbia n’ont pas passé de thèse.

 

They're talking about it, Jean-Raymond Abrial in Grenoble
Henri Habrias
Henri.Habrias@univ-nantes.fr

“JRA's genius was such that he managed to convince us that we knew as much as he did. He would present us with the problems to solve, offer solutions, and we would discuss them. The next day, he would bring us the skeleton of the algorithm he had written during the night. We would simulate it by hand on the blackboard to identify its pitfalls and errors. And the entire software was thus tested, module by module, as we designed it.”

Testimony of Georges Vigliano, in Bernard Germain, “15 Years and 1 Day”, Glénat Publishers, Grenoble, 2006

“To Jean-Raymond Abrial: he gave this team a spirit and a method. He knew how to communicate his enthusiasm and dynamism for the SOCRATES project.” Georges Beaume, thesis, 1970

“Upon his arrival, he [J.-R. Abrial] communicated to his future team his precise ideas on his research methodology, according to what would later be called “project management”: - he starts from the principle that one should not “program” without having “specified” what one wants to program, and he excludes approaches consisting of “programming to verify through testing that a specification is correct.” - Thus, he sets himself a deadline of one month to complete the writing of a specification, imagining that it will have 100 procedures contained in a 100-page document. - then 3 months for the team to understand and adopt the specification, - and only then will we move on to programming. ” François
Peccoud
François Peccoud, who played a “role in initiating the Socrate project,” was a teacher at the IUT B in Grenoble and Director of UTC (University of Technology of Compiègne).
Source: Jean Ricodeau, The Life Cycle of Socrate, Database Software, from 1963 to 1990: Professional Paths and Innovations, in Grenoble, a Territory of University-Business Cooperation, Master's Thesis, Humanities and Social Sciences, version 7/06/2016

“I had J.-R. Abrial as a professor in my second year of Master's studies at IMAG and in my DEA (Diploma of Advanced Studies). I kept a handwritten copy of his lecture on databases and the fundamentals of programming systems, a course he taught voluntarily, often beyond his regular hours, a handwritten copy that he himself printed from the alcohol machine.
His lectures were fascinating; the lecture hall was truly captivated. The examples were compelling, even though they were based on a rigorous theoretical foundation. In my DEA, there was also a continuation of this approach, more focused on formal logic and program proofs.
I kept these manuscripts, which are now part of the Aconit collection. [...]

After a few years (summer internships at IRIA Roquencourt and TU Berlin, military cooperation teaching at CERI in Algiers, R&D contracts at IMAG
on software engineering and operating systems topics) I left university to join the SOCRATE development team at SYSECA in Grenoble in 1976. I
contributed to the development of SOCRATE IBM and SOCRATE SOLAR under the supervision of three PhD students led by JR ABRIAL (Beaume, Morin, Vigliano) until 1982. [...] From 1989, I returned to the industrial world, once again leveraging these skills within SYSECA with the mission
of producing a CLIO/SQL database core. In two years, with about fifteen engineers, a multi-model RDBMS under UNIX/PC was available. The product,
later named ORCHIS-base, was a challenge to ORACLE V6 at the time, on an industrial level. We were even among the first in the world to acquire the NIST SQL validation suite.

Christian Jullien, personal email, November 2024, see also:
https://www.echosciences-grenoble.fr/articles/recherche-industrie-informatiquegrenoble-
a-t-elle-eu-en-main-les-cles-du-big-data-7-12-2021

“I had Jean-Raymond Abrial as my professor for operating systems
at ENSIMAG during the 1970-1971 academic year. He was excellent and presented complex concepts very simply. He was very popular with the students. I was the first to use SOCRATE to program a large software program from 1972 to 1975,the one for my doctoral thesis in engineering at IMAG. SOCRATE was an exceptional tool, very easy to use with many new features. SOCRATE was very reliable. I was amazed by this tool.” The team developing
SOCRATE was made up of highly competent and very friendly engineers/researchers who worked under the leadership of Jean-Raymond Abrial, whom everyone
appreciated for his skills, his brilliant ideas, and his modesty. I was surprised that Jean-Raymond Abrial, a graduate of the École Polytechnique who had a considerable serious reputation, did not want to apply to become a university professor at IMAG, but this was in keeping with his nonconformist spirit. 1 My doctoral thesis in engineering: “Assisted Organization of Modular Teaching” Chair: J. Kuntzmann, Rapporteur: F. Peccoud, Examiners:
J. Bellino, L. Bolliet, C. Delobel, J. Perriault, Scientific and Medical University of Grenoble, National Polytechnic Institute of Grenoble (IMAG), November 29, 1975. Xavier Castellani, January 2025
Xavier Castellani was a professor in the computer science department at the IUT of La Rochelle and then at the IEE of the CNAM.

(1) Note that J-R Abrial did not defend a thesis. He is not the only one! Tony Hoare and Jean Ishbia did not defend a thesis.