Ce blog traite d'éducation, d'enseignement supérieur, du
Limousin et du Périgord, de Nantes et alentours, de
société, de ce que nous lisons, il pose des questions,
attend des réponses, informe. Espérons que personne ne
dira "quoras auras-tu'chabat de platussar ?" quand auras-tu fini de faire du blablaware ? "When will you stop quacking?" (blog joint :http://quoras-tu-chabat.hautetfort.com/)
En Haute-Vienne, 81 539 voitures avec des vignettes Crit'air 3, 4 et 5
étaient concernées, soit près de 34% du parc automobile départemental.
Voitures qui n'auraient plus été admises dans l'agglomération à partir
de 2025.
Eh oui, à Saint-Yrieix quand je vois des 2CV, des R4 etc, ce ne sont pas des voitures de collection ! ce sont des voitures qui ont un faible kilométrage conduites par des vrais écolos ! à l'ancienne. Pas des bobos des grandes villes.
A Nantes, je viens de visiter toutes les voitures sur le parking du marché de mon quartier en zone bleue (le jour du marché, pour maximiser les possibilités de stationnement). La plupart ont moins de 50 000 au compteur, mais ce sont de "vieilles" voitures, critère 3. Conduites par des vieilles personnes qui n'ont pas la chance d'avoir le courage de rouler à vélo comme moi (il faut avoir l'habitude, je déconseille à ceux qui ne l'ont pas). Notez que l'on sait faire des économies en France, ben dame ! Vous pensez que nos radars vont lire ces vignettes ? qu'ils ne "savent" pas lire les plaques minéralogiques (on devrait passer aux plaques biologiques, l'Ecole des Mines à Nantes n'enseigne pas le minage, ah si, peut-être celui des bitcoins). Sont forts les syndicats de l'Imprimerie Nationale ! Aussi fort que ceux d'EDF qui avaient empêché le Linky...sauf quand ce n'étaient pas des employés d'EDF qui faisaient les relevés. Ca fait bien longtemps que le procédé était inventé. Je me souviens d'une visite à la DER IMA d'EDF à Clamart où on m'en avait parlé.
Lisons la presse.
Sur les plateaux, vous n'entendrez pas de vieux et vieilles énarques parisiens vous en parler.
ZFE et vignettes Crit’Air : Limoges n’en veut pas et le fait savoir !
" La ville de Limoges doit rejoindre la prochaine
salve des villes françaises soumises à une Zone à faibles émissions en
2026. Une ZFE, dont le maire ne veut pas, mais alors pas du tout.
De 25 actuellement à
42 demain : c’est en effet le nombre d’agglomérations françaises de
plus de 150 000 habitants qui disposeront d’une ZFE à partir du 1er
janvier 2026. Des ZFE avec différents degrés d'interdictions de
circuler dans les périmètres identifiés, dans lesquels les usagers de
la route seront admis, ou pas, en en fonction du classement Crit’Air de
leurs véhicules. Parmi les
prochaines ZFE mises en service au 1er janvier 2026, celle de
l’agglo de Limoges, dans le département de la Haute-Vienne (87), qui
compte environ 187 000 personnes (dont 130 000 à Limoges).
Une mesure pénalisante
A l'instar d'autres maires et mêmes députés dans notre pays qui se dressent contre les ZFE,
celle prévue à Limoges, le maire de la commune Roger Lombertie s’y
oppose, fermement, comme il l’a de nouveau récemment confié à plusieurs
journaux : "C’est une mesure très antisociale qui aurait
pour conséquence d'exclure des milliers d'automobilistes qui n'ont pas
les moyens de changer leur véhicule. Une ZFE à Limoges
et ses environs pénalisera l’emploi, les entreprises, le commerce local
et le tourisme alors même que la ville ne dépasse aujourd’hui aucun des
seuils minimums de pollution !"
Il dénonce la situation des infrastructures routières autour de la commune et l’inertie de certains projets.
"Faute d’avoir engagé les travaux des voies de contournement comme la
RN 520, qui devait être mise en 2x2 voies, la largeur des ponts en
atteste, les poids lourds sont ralentis et accroissent les émissions de
CO2 dans l’agglomération. Le budget de 25 millions d'euros prévu n’a
jamais été engagé par le Département et Limoges Métropole à l’époque, et
a été perdu au profit du département de la Vienne." Sur ce point, il demande donc "qu’une réflexion soit enfin engagée sur le sujet avec l’Etat et les collectivités compétentes."
Le maire de Limoges ajoute qu’il exercera "tous les recours
possibles pour empêcher l’entrée en vigueur de la ZFE à Limoges car
cette mesure, nationale, est injuste et ne tient pas compte de notre
réalité locale".
Si cette mesure est mise en place, environ un tiers des véhicules (avec
des vignettes classées de 3 à 5) seraient concernés par l’interdiction
de circuler à Limoges."
Cet engin qui à Nantes devant le marché de Talensac déborde de l'emplacement a la bonne vignette. Oui oui. Et puis il est doublement 44 !
Alors quand va-t-on voir les inspections des cheminées à Nantes ? Il paraît que l'on a découvert que les particules fines bios des poêles scandinaves si tendance qui brûlent le bois des forêts urbaines de nos municipalités écolos platussantes, ça fait tousser !
Notez que je fais un effort, j'alimente mes voisins de mes coupes de bois (bé faut tailler, et après tempête des branches cassent). C'est du local (un peu, et je n'ai pas transporté à vélo (en ne peut "en" vélo).)
Mais on m'interdira de faire 4 ou 5 soirs par an un feu dans le poêle de Bourdoux avec le bois que je me suis coupé, que j'ai rentré et m'a réchauffé avant même d'avoir allumé le poêle avec du papier recyclé. Normal ! on est en Périgord vert ! où je n'ai jamais vu de militant écolo en veste verte façon Marine Tondelier.
Les "lois" suivantes sont extraites, parfois avec des détournements personnels, des lois parues dans Murphy's Law and other reasons why things go wrong [A. Bloch].
V.1.1.1 Théorème de Stockmayer
Si ça a l'air facile, c'est difficile. Si ça a l'air difficile, c'est carrément impossible. Si ça a l'air impossible, c'est un compilateur Ada.
V.1.1.2 Loi de Booker
Dix grammes d'abstraction valent des tonnes de bricolage.
V.1.1.3 Loi de Klipstein
Les défauts n'apparaissent qu'après que le programme ait passé (avec succès) la phase d'intégration.
Les ordinateurs ne sont pas fiables; mais les êtres humains sont encore moins fiables. Les investissements en fiabilité augmenteront jusqu'à dépasser le coût probable des erreurs, où jusqu'à ce quelqu'un insiste pour qu'on se mette à faire du travail utile. Les investissements en fiabilité des programmes en C augmenteront jusqu'à ce que le programmeur en ait assez et trouve plus intéressant de se mettre à écrire un super-utilitaire pour UNIX, où jusqu'à ce que quelqu'un insiste pour tout recoder en Ada.
V.1.1.6 Loi de Brook
Doubler le nombre de programmeurs sur un projet en retard ne fait que doubler le retard.
V.1.1.7 Loi de Lubarsky
Il y a toujours un bug de plus.
V.1.1.8 Loi de Patton
Un bon langage aujourd'hui vaut mieux qu'un langage parfait demain.
V.1.1.9 Loi de Blaauws
Une technologie établie tend à persister malgré l'apparition de nouvelles technologies. (Le lecteur traduira de lui-même en termes de langages de programmation...).
V.1.1.10 Seconde loi de Weinberg
Si les architectes construisaient les maisons comme les programmeurs écrivent les programmes, le premier picvert venu détruirait la civilisation
Je ne jette rien ! je consomme ! car l'économie française vit de la consommation ! bé en 68 on était contre la société de consommation !
Ayant vécu la ligne SNCF rénovée entre Nantes et Bordeaux (durée 8 heures), ayant écouté les écolos qui sont contre les lignes de train, je vais prendre la voiture. Faut la rentabiliser. Je sais, je pourrais prendre le vélo musculaire. Je suis retraité, j'ai tout le temps.
Je pensais faire le circuit de ma jeunesse. Aller à Biscarosse, retrouver le Centre d'Essai des Landes, Biarritz où j'étais allé un dimanche avec la 2CV et retour le soir, puis Toulouse (Ah le train de nuit, ses bruits et ses odeurs, et l'arrêt à Bordeaux !) voir les petits, et Montpellier. Mais je suis interdit d'entrer. Ils n'ont pas prévu des parking-relais. J'ai cherché des trains de Toulouse à Montpellier. Mais certains sont déjà complets, pour d'autres il ne reste que 2, 3 places. On ira dans les Cévennes. La suite, voir le viaduc de Millau, et ensuite le viaduc de Garabit.
Ça fait longtemps que je n'ai pas roulé autant !
Voici le genre de voiture super écolo que je vois sur le parking du marché de Talensac à Nantes.
Elles ne sont pas classées 3. Moi j'ai honte avec mon vélo qui doit émettre des particules fines. Il n'est que musculaire et en conséquence je dois manger beaucoup de pâtes. Mais je suis pastafariste !
J'ai écrit à notre maire, pardon, mairesse !, il faut agrandir les places de parking ! je sais, y a pas déjà assez d'arceaux pour les vélos. Les arceaux ça ne fait pas d'effet dans le journal municipal.
"L’ancien député met donc un terme à 42 ans d’une
carrière qu’il a commencée à la mairie de Glandon, qui l’a mené à la
mairie de Saint-Yrieix en 1995 puis au Palais Bourbon en 1997.
Il a expliqué sa décision dans la Lettre du maire qui
a été diffusée à l’ensemble de la population arédienne, jeudi 20 mars.
Il y fait part du drame qui l’a touché le 12 septembre 2024. "Il suffit
d’un instant pour qu’une vie disparaisse ou soit bouleversée, écrit-il.
Ce fut le cas le 12 septembre 2024 lorsque mon épouse et sa passagère
furent victimes d’un dramatique accident de la route.
Elles ont pu survivre grâce à la compétence et au dévouement des
sapeurs-pompiers, de la gendarmerie, du SAMU et de tous ceux qui
participèrent aux secours. [...]
. "Les accidents graves, les incendies de maisons, les tempêtes peuvent
survenir à tout moment, détaille-t-il, et il faut savoir que le maire
est le chef de la sécurité dans sa commune. En outre, la complexité du
système administratif occupe une large partie de son temps et chaque
jour, il doit prendre de nombreuses décisions qui peuvent engager
l’avenir de la ville. Pour toutes ces raisons, j’ai décidé de cesser mes
fonctions de Maire et de remettre ma lettre de démission à Monsieur le
Préfet."
La RD 704 aura vu mourir plusieurs de mes copains. Dans notre Limousin, dès qu'un élu tente d'améliorer la circulation, des manifestants viennent crier car on va couper quatre ou cinq arbres. J'ai attendu un temps la fameuse "route Boisserie" pour aller de St-Yrieix rejoindre la petite route des Parisiens allant à Toulouse et qu'on appelle "autoroute". Mais le maire a dû abandonner son combat. Si vous allez de l'autoroute à St-Yrieix un soir d'été ensoleillé, je vous conseille d'attendre la nuit ! sinon, dans les tournants vous roulerez à l'aveugle. Je sais, je sais, vous n'y rencontrerez pas les écolos des balcons.
Quand j'ai fait des cours à la fac des sciences de Limoges vers l'an 2000, j'ai logé à St-Yrieix dans la maison familiale. Et j'ai constaté le flot ininterrompu de voitures entre St-Yrieix et Limoges le matin et le soir vers 18 heures. Je me serais cru autour de Nantes. Mais pas de 4 voies comme entre Nantes et Cholet, Nantes et Vannes, Nantes et Rennes ... on est en Limousin !
It's been a long time since I've written a CV! and I threw
everything away, burned it. But having had a lot of contacts in these
months, I was asked for my CV in English. So I took advantage of my
notepad to try to put together a time. I wrote "don't waste
time, don't read this, it's for when I lose my memory". I have
published my memoirs here.
But it was for historians, penniless and
ecological ethnologists (the Limousin and the Périgord vert, we
would be ridiculous if we asked for credits to go there to study the
language and customs). It was also for the grandchildren, but I
didn't convert to tic and toc
1946
It's silly! it
wasn't my midwife mother who gave birth to me in the maternity ward
of the hospital in Saint-Yrieix-la-Perche, the town that gave birth
to the porcelain industry in France!
But I was not the new Aristotle!
Evethough I liked writing Aristotle's square in B notation and the logic of predicates
My father was a
shoemaker, a shoe merchant. When I was very young, he also sold
clogs. They were burned in the stove.
The school of
barracks
I went to the
"barracks" school. So young in the barracks! Always on
foot. And my parents never took me to kindergarten, primary school,
high school, university in the Posterior. I would have been ashamed.
We used to say "the barracks" when it was a barracks,
certainly "divided" in two, one girl, one boy..
In "cours
élémentaire deuxième année" (CE2), I had a teacher who
taught us the method of problem solving. It started from the
southeast of the blackboard and went up to the northwest. I think
that Claude Pair in Nancy had the same course.
and his deductive method (Méthode
déductive) or (Médée) Medea of programming. For the Middle Course
(CM), I had an instituteur "teacher" who pulled the ears,
the hair, manipulated the ruler, but also painted on the walls and
framed with sticks nailed to the walls. He also practiced a modern
pedagogy. His class was CM1/CM2. Those who had finished the CM1
exercises had to do the CM2 exercises, forbidden to watch Tiktok on
their cell phone. And that's how I took my first exam, the sixth
grade entrance exam (examen d'entrée en sixième), a year earlier
than planned. But let's be honest, I didn't plan anything. I needed a
school identity card. My mother took me to the photographer's house
to take passport photos. When I specified the NNI (National Identity
Number) in B notation, I remembered the photographer Later.
The middle school
(collège), the Darnet high school (lycée
Darnet)
My father had
studied Latin. He had to leave high school in second grade. But he
spent his winter Sundays doing Latin versions. He bequeathed me his
Quicherat. I did Latin. The school was called "Jean-Baptiste
Darnet" after the doctor who discovered kaolin (in fact it was
his wife who used it to wash clothes who tipped him off). Later it
was called high school. month.
I repeated the third grade. My mother
told me "it's puberty". The certificate was not given at
that time. Teacher, I had to insist on allowing students to repeat a
year. They thanked me for that. In the IUT in two years, the program
was too dense for those who did not make "dead ends":
general economics, business economics, work organization, general
accounting, analytical, communication techniques, English,
mathematics, statistics, probability, operational research, projects
with companies, operating system, numerical calculation, Fortran, 360
Assembler, Cobol, programming methods, networks, databases, Software
Engineering Methods... and a three-month internship.
I did "Latin-maths",
if I'm not mistaken, it was "C'".
After the "First
Baccalaureate" (at the time there were two), I did the final
year of "Philosophy". What for? The previous year, the
"Maths Elem" had had poor results in the baccalaureate. The
teacher, son of my father's teacher, had not dealt with part of the
curriculum... who "fell" in the baccalaureate. I have kept
my two books "Knowledge" and "Action". It was the
philosophy teacher, Henri Desfougères (he had done his thesis on
Spinoza) who for the first time spoke to us about sets and tables of
truth! At that time, I didn't know what the "preparatory
classes" were. I knew what medical studies were like. But having
a very bad memory (a pain when you like history a lot), I didn't have
the level and anyway I hated waking up in the middle of the night.
But why do mothers give birth at night?
I wanted a job where
you don't spend your time indoors. I thought of surveyor. And also to
the natural sciences.
So the summer after
the Terminale I signed up for distance learning to get up to speed in
order to do SPCN (Natural Sciences, Physics, Chemistry). But while I
was cycling around Auvergne, in a campsite a science teacher told me
"there are no positions at the Capes, the oil search is
over...). So I did "economics", I liked the history class
on the 1929 crisis.
1964
Limoges
First year of faculty. At the time,
economics had not become independent of the law. For 4 years, I did
constitutional, civil, commercial, administrative and international
law.
I just reread my math class notes. The
first concerns sets, application to binary logic.
For the second year I went to Poitiers
on Rabelais' land. I left Turgot's intendancy, the Place du
Présidial, for the U Rabelais estate, then the U Descartes estate!
Before, with a scholarship from the Department of Haute-Vienne, I
hitchhiked around Europe, testing my cooking Latin in Italy, my
German in Germany and Switzerland, and my English if necessary. In
Venice I slept over the university computer.
1965
Poitiers
I was going to be able to feast on
the standing stone!
"Gargantua devoted himself to
the study of good letters and athletic exercises" [taking care,
however, not to frequent] "certain colleges of pouilleux where
the king could have set fire to them and burned both principal and
regens" (Rabelais)
The license was in 4 years.
We had a very theoretical training. I
could have applied for the position of Minister of the Economy and
Finance! But I doubted that our ministers would make the Samuelson
oscillator,
Nowadays, they practice like all the
different models of the "cob web", whether it is Walresian
or Marshallian, it's obvious! What interested me the most was the OR,
Operational Research. I learned more about computer science
(algorithms) than in the micro computer science course in the lecture
hall. An engineer from INSEE came to talk to us about the dimensions
of the punched card, the size of the holes, the weight of the card!
Every summer I spent
a month at the Centre d'Etudes Economiques du Limousin, directed by
Professor Guy Chambon. It was on this occasion that I discovered the
Olivetti Programma 120. But we hadn't received it yet.
I am elected
Commander of the Order of the Venerable Bitard (LST)
May 68
President of the
Cercud. Pronounce correctly!
"Z caused a
good deal of confusion on the pronunciation stakes. The English and
even Scots and some French call it Zed. The Americans call it Zee and
get confused when we correct them Zed. But Ib had his own distinctive
pronunciation: Zet. (Bill Roscoe, In Memoriam ib Sorensen);
Z we'll talk about
it again. Z is the cause of this boomer CV!
Cercle des résidents
de la cité U Descartes, I had set up a photo lab, a discotheque (no,
not a nightclub!) and a library. The Maoists brought their beautiful
icy magazines from China. When I later learned that many journalists
from France-Culture, France-Inter had just graduated from Normal Sup
(not the one called ENSET!) and that they had been Maoists, I was not
surprised by some of the front pages of Le Monde, including the one
about the Khmer Rouge.
Le « mémoire »
and the IAE
It was time for me
to become independent. I did "a dissertation" i.e. a DES,
also called "a diploma" (a Diploma of Higher Studies).
There were a few classes, of teachers from Paris because after 68,
the teachers of Poitiers had been pumped by Paris (Dauphine
University, etc.). I chose "Deficit and fare options in the
railway". I didn't have any supervisors. No proofreader. Why
this subject? because behind my parents' house the train passed,
Limoges-Brive line via Saint-Yrieix. And that for many years the
question of its maintenance has been raised. It fed a large fuel
depot (it was still the time when they were avoided at the borders).
In addition, I was interested in the relations between public and
private, and the increasing returns (those of the book are amazing).
Finally, my grandmother from Excideuil sent me her wishes on cards
representing trains, produced by "La vie du rail".
There was in several
journals and thesis a so-called extract from an article by Boiteux. I
had repeated my third year, but I found that the very elementary
maths of the article were very surprising. I wrote to Marcel Boiteux.
He replied! he was then director or president of EDF and president of
the International Society of Econometrics. A big envelope. He told me
that I was the first to have reported this typo. In the magazines,
his article (which, if my memory serves me correctly, had appeared in
La Rouge et la noire, the journal of the Polytechnicians) had been
modified, then this error repeated. I also wrote to Maurice Allais.
And I received another big envelope. I had a good bibliography at the
time.
In 1969, neither
Gérard Debreu nor Maurice Allais had yet won the "Nobel Prize"
in economics.
I always wanted to
go and see for myself. I knew that our guy from Thiviers, Jean-Paul
Sartre, had bad glasses when he went to the USSR.
Georges Pompidou, from Montboudif, a
place I knew well, said that he wanted socialism in the Swedish style
but with the sun. So I took advantage of a Knowledge of Sweden course
organized by Stockholm University. It was after the brief. I was able
to meet with the Minister of Transport. I went to the USA to live
with 4 families for a month. I set foot on the soil of the USA when
man landed on the moon. I returned to the campus of the University of
Louisville, a twin city with Montpellier, and worked in a bank. I
also went to cross the Iron Curtain between Vienna and Brastislava,
in a 4L. Then in the USSR. Why do the Institute of Business
Administration? Because I hadn't studied economics, which I learned
there. I thought I had a better chance of getting a job in a company
than as Minister of the Economy.
For two years I was
an "instructor" (moniteur), the first pay of the Ministry
of National Education. And this allowed me to read the announcement
of a training course for teachers in "analysis-programming"
for the computer science departments of the IUTs. In 1970, there was
still compulsory military service. I obtained an "army-youth
internship" at the CEL, Centre d'Essais des Landes in
Biscarosse. I hadn't seen the Apollo rocket leave, but I did see a
missile fired towards the Azores. I was in the "management
information technology" department. At the National Assembly, a
deputy had asked Michel Debré, then Minister of Defense, the cost of
testing the Pluton missile. The Pluto missile was a short-range
nuclear ballistic system launched from a missile ramp mounted on an
AMX-30 tracked chassis.
This equipment was
the French army's tactical nuclear deterrent during the Cold War. At
CEL, a cost monitoring system had been set up. And I discovered
inconsistent "data." Thus the cost of painting a Panhard
AML 60 done at the CEL could vary from 1 to 5, with the same cost
elements! What for? During the first painting, the painter took a can
of paint out of stock. At the end of his work, he didn't throw away
the rest of the painting. It did not "sink". He built up a
"wild stock" of paint. When painting the next AML 60, he
used some of the rest. He wasn't going to assign the paint bucket ID
to different jobs multiple times, but some did. It had not been
planned to convert the pot into liters of paint! Always a matter of
flows and stocks. And the definition of objects.
I remembered this
when, with the Merise method in France, we spoke of an "individual
model". I discovered many wild stocks. The staff who were
supposed to enter the work orders knew that the system was producing
inconsistent results. And waited, while knitting, for the arrival of
the next great chef who would certainly launch a new information
system. And would leave before we saw the effects
1970
IUT de Montpellier
I don't know if there has been in
history a lot of teacher training for an IUT specialty not taught in
universities. My friend Marc Guyomard, who studied computer science
in Rennes – at the time there were few universities where there
were – told me that when he was recruited, he was asked if he had
done any "analysis". He said yes. He had done "numerical
analysis"! The ministry has created two training courses. One in
Montpellier, for mathematicians, economists, physicists, etc.,
directed by Robert Reix, a Limousin. One in Toulouse for computer
scientists, directed by Jacques Luguet, a Toulouse native, who in
1975 passed his thesis on S.C.A.P.F.A.C.E.: System for the automatic
and progressive design of a database management system based on the
conversational analysis of output states.
R. Reix's teaching has been the subject
of two books published by Dunod, the first at the end of our
training. When math students had economics classes, economists had
math classes. But not "maths for computer science" courses
that I will discover in the same collection as R. Reix's books with
the books of J. Bottiaux from the IUT of Grenoble. For logic, my
first books were those of François Chenique, Elements of Classical
Logic and Understanding Modern Logic.
We had courses on the logic of circuits
(the two volumes of Petitclerc, courses in machine language, 360
assembler (few hours). The "system" (operation) course was
a sleepy video from IBM on the 360 OS. For Cobol, each course dealt
with one or two instructions. We didn't have any courses in
algorithmics, no programming methods. When we went with our pack of
punched cards to the Faculty of Science, we didn't expect to see such
a long list of people come out. It was not the expected release!
Those who wanted to could teach to the
students of "Special Year" (Post Undergraduate Year). In
Montpellier, many were pharmacy students. I remember giving a course
on Simplex.
How did I end up in Nantes?
I didn't know yet that Nantes was the
centre of the world according to Samuel Whittemore Boggs.
Grab a Michelin map
of France. Draw a straight line from Montpellier to
Saint-Yrieix-la-Perche. It passes through Limoges, Poitiers and
Nantes! I had an offer of a position in Limoges by Guy Chambon, but I
chose Nantes. Brittany is the Limousin and the Périgord Vert but
also with the sea and the Breton dynamism.
1971 and
subsequent years
I went on an internship at ICL in Nantes, to learn and practice the
Cantor method
Assistant
Delegate
In September, I started my teaching in
the computer science department of the IUT, housed by the ENSM (Ecole
Nationale Supérieure de Mécanique), which became ECN (Ecole
Centrale de Nantes). I was a "delegated assistant".
Psychology, linguistics, logic,
history of science
I did a degree in psychology.
Fortunately, there was not only psychoanalysis! Part of the teaching
took place at the Faculty of Science, psychophysiology with practical
work, and a course in physical ergonomics. We need it nowadays when
we are offered screens with light blue writing on a grey background!
I hadn't had any
language lessons. So with a colleague I did the certificate in
general linguistics at university. For logic, I took Jean-Louis
Gardies' course. And did the certificate in the history of science.
Having done a thesis in "Computer Science of Organizations"
at Dauphine (another unsupervised work!), I applied via two sections
of the CNU (I don't know if that was the name at the time), one of
"management", one of "computer science". I was
thrown out. And received two reviews. One "your file is more IT
than management" and the other "your file is more
management than IT". I went on an internship at ICL in Nantes,
to learn and practice the Cantor method Assistant delegate.
In those years, I
did a lot of computer training for the staff of the Nantes
administrations, in companies (based on the work of people in
training, learning a lot in the services, doing analyses). I went to
CEPIA on the land of IRIA (now INRIA) at the Domaine de Voluceau in
Rocquencourt for one week in spring and one week in autumn.
Certified Teacher
I went from
Posterior to Secondary!
As the day before
the holidays I was asked to go and do a training course in a company
(status of assistant delegate!), one day I went to take a CAPET
(Certificate of Aptitude for Technical Education). I never received
the results of the competition. And the day before I was going to
Japan, I passed by rue de Grenelle. I had never seen our Ministry of
National Education. To the right of the large porch, on the wall, a
notice board covered with a chicken coop fence. And I see the results
of the competition, very fading. And it seems to me that I read my
name on it. I went to the right department. And I was asked where the
training center should be put (I don't remember the name of this
center). Of course I chose Nantes. I was thanked for my cooperation.
At the beginning of
the school year, the director of the IUT wrote to the rector. He
needed me. So I kept my service at the IUT and I passed an inspection
during a class in high school. I remember. I dared to explain the
reason for Wilson's model formula. The inspector accused me of not
respecting the program. Fortunately, in the IUT, we did not have an
inspection. Let's go back to Japan. On a beach on an island opposite
Hiroshima where I was camping, I met a Japanese computer scientist.
He was familiar with J.D. Warnier's LCP and LCS methods. very proud
to show myself by drawing on the sand, a small specification
according to the LCS notation.
Then I went back to the Posterior
Assistant Professor
(maître-assistant)
The following year I was a "senior
lecturer" in management in the management department. I was
frowned upon. 80% of the hours planned in the PPN (National
Pedagogical Program) for computer science were distributed among the
teachers, there were plenty of "leaders, group, subject, year,
internships,.... The director of the town hall's IT department was
giving a few hours of lessons there. I took his place, but he opened
up the IT services of all the town halls in France. And the
symposiums of municipal computer scientists and the executive school
of the CFPC (Centre de Formation des Personnels Municipaux. I set up
programming tutorials. We had PCs with tape cassette players. Then
floppy-disks. I was teaching structured programming. The students had
the Basic translation of "if then otherwise", "repeat
until", "as long as to do", "do until".
I worked on an economics thesis on
pricing between public companies, private companies, and public
administration. Following my internship at the CEL and my DES thesis.
But I couldn't find any thesis supervisor. I remember writing to
Jacques Chirac, the Prime Minister, to have access to a report from
the Court of Auditors. I still haven't received his reply!
One day I "went
up" to Paris (we often went up there) and went to see the
Minister of Economy and Finance, Giscard d'Estaing. Easy to find! You
go from the street to the courtyard of the Louvre under a large
porch. You go up the stairs that lead to the porch. Giscard was
invited to lunch by French people, he could well receive me. Bad
luck, the bailiff told me that he wasn't there. It was easier in
Sweden where the minister paid for his ticket for the ministry's
canteen.
Lecturer (maître
de conférences)
Then I received a
letter telling me that I was in the Computer Science section. I
became a "lecturer" in computer science and then a
"lecturer".
University
Professor
One day I passed an
HDR (Habilitation à Diriger des Recherches) and I got a position as
a "University Professor". No difficulties. At the time,
there were very few candidates in the field of software engineering
and methods.
2002
Abelard at the
dawn of universities
Yves Tanguy, whom I
had known when I arrived at the IUT in Computer Science, had become
president of the University of Nantes. He called me one day to ask me
to organize a conference on Pierre Abélard. He had read my blog. I
was quoting Abelard. Normal, when I arrived in Nantes I went to Le
Pallet, Abelard's homeland and then to Liré to Du Bellay. I had read
Umberto Eco, I had all the records of Brassens. Y. Tanguy showed me
the letters received from "specialists" in Nantes. They
were not happy!
I have filled my
library with books by philosophers, ancient logicians, historians,
musicologists... and organized an international conference according
to the procedures known in science, reading committee, call for
papers. And with a set of "general public" conferences.
With my weak memory I was very stressed. Especially when I had to do
a TV show. I went around the places where Abelard and Heloise had
lived.
I then wrote
articles on specifications, the quarrel of universals... but I was
thrown out when I wanted to publish them. I "pissed in a violin"
a lot. Currently on this point I am rereading Plato's Phaedrus.
Self-taught, but
urban cyclist
In computer science,
I am self-taught. I very much regretted not having done a degree in
computer science. And to have studied compilers. But it only existed
in a few universities in France. The center was at... the east,
Grenoble.( From Big Data to AI: 60 years of experience in data,
information and knowledge processing in Grenoble, Michel Adiba,
Jean-Pierre Giraudin, UGA édition, 2024), then Nancy.
I would like to
thank all the Turing Prize winners who have written very educational
books within my reach, those who have given presentations at Inria,
presentations that were immediately transformed into teaching, all
these authors, practitioners who published, the computer scientists
with whom I have taught and done projects. And those who opened the
doors of their company's machine room to us during the night (there
was no "study machine" at the time).
I was secretary of
the CILO (Club Informatique Loire Océan) and organized conferences
every Thursday at the IUT by bringing in speakers on current themes.
I am thinking of the President of the CNIL, and Serge Abiteboul (now
at the Academy of Sciences), and many others. I went several times to
give courses at the software engineering exhibition days organized in
Toulouse by Jean-Claude Rault. And I took over in Nantes by creating
the series "Putting into practice methods and tools for
information system design".
Michael Jackson,
whose writings I really appreciated, the JSD method (so far from
Merise!) came twice. The first time I received a lot of calls from
parents for their children! The second time, he agreed to give a
course to the students. He started in French, I asked him to continue
in English. I always remember their remark: "with English you
have to pay attention to what you say". I had succeeded.
Students continued their studies in England.
Jean-Raymond Abrial
whose "Data Semantics" I had read... which had led me to go
and see on the spot in Cargèse in Corsica, sent me his first
writings on what was not yet called B. Students from the Cnam worked
on these documents. Abrial came in 1994 to give a course on B,
recorded on VHS cassettes that the IUT distributed to schools in
France, Europe and as far away as Stanford.
One day, a British
colleague who was looking for French institutions to exchange with
the University of Teessside and the University of York, came to
Nantes... attracted by Z, whom he called "his lingua franca".
With Erasmus projects (in those days the IUTs were entitled to
them!), I was able to introduce the work of Tony Hoare, Robin Milner,
which "fitted" well with Mr. Jackson's writings. After VDM,
Z suited me well because I had written my first book at Eyrolles "The
binary relational model, AI, NIAM", a method practiced at the
Crédit Mutuel Loire Ocean Computer Center
I organized a series of conferences entitled "Putting into practice methods and tools for information system design".
And created a software engineering diploma, economics, law, standards following requests for business executives.
I created the first
international conference on B. After the one on Z to B. Since then,
it has always taken place. The next one will be in Dusseldorf. And
the conference, The B method, from research to teaching.
1-10-2008
Retirement as
"professor emeritus"
Master 2 in the
history of science at the François Viète Centre
of the Faculty of
Science of Nantes. Easy! in front of the computer lab. I then wanted
to do a thesis on the history and epistemology of software
development methods, but I couldn't find a supervisor
2011 Year of
Vialatte
I am a Member of
the Club of Vialattians notoriously unknown
2025 I got
caught...
This year, we will
deal with the history of Jean-Raymond Abrial's work.
From the LTR
language (used at the Arsenal d'Indret - it reminds me of the
contract with the Arsenal during which I spent a week at the Abbey of
Fontevraud, it's not on the Richard the Lionheart road!), to the ADA
language, to the Socrate DBMS (also used in Indret), Z, B, Event-B
I refer you to the
introduction of this blog post. Blogs! it's old-fashioned! too long
to read. I had found the right title of my blog: Let's hope that no
one will say "quoras will you have 'chabat de platussar?"
when will you have finished blablaware? "When will you stop
quacking?" What has always been underlying my publications?
I copy this for you:
« ...we find that our
customers are not very good at deciding on their requirements. ...
Traditionally, we software developers have thought of our customers
as bears of very little brain. ’ They don’t know what they want’,
we said to each other smugly. But in truth we achieved this superior
perspective only by virtue of our own limitations and failures. We
were the bears of very little brain” Michaël Jackson 1995
« ...we
find that our customers are not very good at deciding on their
requirements. ... Traditionally, we software developers have thought
of our customers as bears of very little brain. ’ They don’t know
what they want’, we said to each other smugly. But in truth we
achieved this superior perspective only by virtue of our own
limitations and failures. We were the bears of very little brain”
[Jac95]
Considering
that it is the rôle of the software developers to ask the right
questions to the customer as it is a doctor to ask the right
questions to their patient. Considering that, if the “The
programmer’stask
is ... to give a formai proof that the program he proposes meets the
equally formalfunctional
specification.” [Dijkstra 89], “This is a noble goal, but it
presupposes that someone else has done all the hard work by managing
to create a formai functional specification that is appropriate to
the task at hand.”, we proposed to the international software
community that they answer :
“What
questions are prompted by ones particular method of specification?”
for
a small case study about invoicing. Primarily, the workshop will be
the event where these questions are presented. However, it will also
provide an opportunity to :- presentthe
specificationof
the ‘invoicing function’ through different methods, formalisms,
languages- compare different methods, formalisms, languages over the
same case study
This
workshop is the 9th meeting of the series “Putting Into Practice
Methods and Tools for Information System Design”.
The
conferencewill
start with an invited presentationabout
the industrial application of two methods with two different
paradigms, B and LDS/SD
Introduction
Henri HabriasIRIN,
Université de Nantes
In
[Win88], Jeanette M. Wing studied 12 specificationsof
the Library Problem, spécifications that were published in different
papers, each one illustrating a method. Ten years after, we proposed
to colleagues to specify another problem, the Invoicing Problem, but
following a common protocol.
The
name of the exercise was :“What
questions are prompted by ones particular method of specification?”
For
several persons our call for paper was disconcerting. The academicperson
likes to be in his domain. Was this workshop for System Engineering
specialists. Requirement Engineering specialists, for the FormalSpecificationspecialists,
for the Object Orientation specialist, etc. ? Very often, formalmethods
people (more exactly, working on formalnotations)
consider that they dispose an unambiguous requirements text.
Semi-formal methods people. more ambitions (very often the less you
are formalthe
more you are ambitions, what can be expressed saying “the more it
is hollow, the more you can put in it”) don’t hesitate to cover
ail steps going from the informalto
the formal(being
the executablecode
for them). Some consider that even the non formalmethods
are not adequateto
obtain good requirement i.e. a sufficient requirement for the
semi-formal or formalmethod
specialist (what is exactly sufficient requirement ? is it the same
thing for ail the methods specialists ?...).We consider that it is
the specifiersresponsibility
(finally is it not what we want?) to write the specification.To
write the specificationis
not an algorithmic job, it is not an automatic transformation (and,
by definition, it will never be). In medicine, several centuries were
needed to invent what is named “clinic”. Clinicians are doctors
in medicine. They do not consider that they do not need the medical
science. Meanwhile they know that it is with their science that they
can make observations, find questions to ask, make and verify
hypothesis, make deductions, etc. After the reception of the first
proposals, we were surprised - yet, not so much ! - by the fact that
very few questions were asked in the papers. Sometimes we found some
sentences as “We suppose that ...”. As Jules Renard, a French
writer, said “writing is a way of speaking without being
interrupted”. Computer scientists manifestly do not like neither
consider what the client want and raise up questions, nor to propose
choices. Some other remarks could be done on the first versions of
the papers :- some authors create bad interpretations(they
rewrite the text into a more ambiguous one) in order to say : with my
method, I found that I misinterpreted the informaltext.-
very few authors answered the question : “What questions are
prompted by ones particular method of specification?”- several
authors discussed in fact with technical problems linked to their
formalism. They asked themselves questions dealt with how to say
something using their formalism and not what to ask the customer on
what he has in mind. Thought it was here the first aim of the
exercise. In consequencewe
precised our aims with the following text :“It
is not up to the computer scientist to decidewhat
the invoicing function is. It is not up to a doctor to decidethe
illness of their patient. It it was so, the customer would not need
to consult a doctor ! The doctor must ask the right questions of his
customer. It is the same thing for an architect, etc. ”
Aims of the papers :- The
principal goal of this exercise is to know what questions are raised
by your favorite method(s) (it is in the title of the workshop!)
-
questions on the informaltext
You ask questions (you write these questions in the paper) when the
question arrives (show connection with your method or formalism).You
choose one answer and you specify ... and you continue by asking
other questions, etc ..
.- questions on your method
-
The second goal is to presentyour
method, formalism through a small example (every used concept has to
be given an example in the cases study). One should not first give a
copy of text we can find on the method in other papers and then give
the specificationfollowing
the method/formalism. It is important to do the two things together.
NB.:
you can consider the beauty (perhaps synonymous of facility) of your
specification.But,
please, remember that our principal goal is to know what invoicing
function the customer has in his head, and perhaps to explain to the
customer when they are being inconsistent
.-
The set of ail the papers will serve to help to compare the
methods/formalisms, particularly from the point of view of what is
covered by the method. In other terms, we want to know of you “have
you the capacity to obtain information from the user” ? We would
like as a product of your work to have a new text in natural language
expressing your specification (taking into account your questions,
answers and consistency checks) at the end of your paper. The Library
Problem as studied by J.M. Wing was written in a “database”
orientation. Its structure was the following : a list of
transactions, a relation indicating who can execute what transaction,
and a list of constraints on the state of the database. 10 years
after the paper of J.M. Wing, we propose to study a very short
informaltext
on invoicing. It is well known that many people think they know what
invoicing is, everyone being accustomed to pay invoices. One would
think that the specifier would ask different questions than the
layperson, and not restrict themselves to a superficial understanding
of invoicing. Whether the authors, thanks to their method, language
or formalism would bring an added value to the informaltext
of the specificationwas
one of our question. Our hypothesis were :
that working with different
paradigms (we tried to obtain papers from people of the “real time
community”, of the “reactive languages”, of the “protocol
community”) the specifiers would ask different sets of questions
that specifiers treat only
what they know how to specify, applying the principle enonced by the
French poet Cocteau “As these problems overcome us, we feign not to
know of them”
that the “solutions” of
case studies written following a method, are very often written after
having been obtained without the method,
that, very often, the tools
used are not appropriate, being a power hammer to kill a fly
that the tools are often not
used where they could be useful
that
the specifiers make classifications of application domains without
clear criteria, considering that such and such method is specificto
a class of application domain. Name of domains such as “information
Systems”, “database”, “business”, etc. are in fact names
for domains of competence.(Some
contacted people answered : it is a business application, it is not
our domain). Some years ago, “information Systems” people (term
used for database !) said that the M. Jackson’s JSD method was not
for business applications because it uses the paradigm of sequential
process and refers explicitly to T. Hoare’s CSP. It was curious
that meanwhile some people refereed the JSD’s book Jac83] saying
that JSD was data oriented (in fact they were confusing the JSD’s
trees and the JSP’s trees). More curious was the fact that M.
Jackson was treating in his book examples as invoicing, lift control,
a lift control being not classified usually in the "information
System” domain.
Perhaps
the differencebetween
a practitian (an engineer) and an academicis
that the latter is always able to adapt his perception of the reality
to be able to sell his theory, whereas the first has to respect the
reality even if we cand always say that “there is no reality, there
are only perceptions of reality”.
Facing
the difficulty to make our aims understood, we asked ourselves : are
we the only one interested by such questions ? We
are not indeed. Some authors have wrote on the subject. We will,
under the title “Refutability”, quote some of them as an
introduction to the workshop.
Refutability
“Respectable
software development dependson
refutability (-..). A domain description of the system’s
environment, or application domain, claims to describe how things are
; a specificationor
requirement claims to describe how
things arewhen
the System is installed and operating. Both of them must be
refutable. The domain description must run the risk that someone will
say : ’That’s not true - here’s a counterexample’. And the
requirement description must run two risks : that your customer will
say : ’No, that’s not the effect I require’ ; or, later : ’Yes,
that was the effect I required, but the System isn’t achieving it -
just look at what it did here”’.[Jac95] “System design is often
described as a problem-solving activity. The engineer has a goal,
defined by the required System behavior.He
must discover a way of achieving it and convince others that this way
will work.”
The
model (...) is no more a theory about the CBM Company’s
requirements [Coh92]. In constructing it, we hâve interpreted the
natural language statement of functionality (...). We havehad
to make decisions about both functionality and structure where these
two documents were silent. Theses decisions are not necessarily
either correct or complete.But
there is no way to evaluate them without referring back to the
“owners” of the problem, the executives of the CBM Company
themselves. Of course, they may not be able to assess the validity of
our model by reading it themselves (although there are historical
precedents for teaching clients just enough mathematics to allow them
to do so). Our only recourse in such circumstances is to presentsome of the more ”
surprising” properties of our model to the clients so that they may
havethe opportunity to
“réfuté” them. This is an exercise in "scientific method”,
as laid down by Sir Karl Popper, who showed that actively seeking
such refutationwas the
only way to gain a high degree of confidence in a scientific theory,
but that even that could not prove that it was true. How, then, are
we to identify, and conduct, appropriate réfutation experiments? One
way is merely to recount the assumptions we havemade
(...). Alternatively, we might treat the model as a “prototype”
and allow the customer to “exercise” it by performing a series of
transactions and observing their effects. (...)
A
further alternative would be to prove some theorems about the model’s
behaviorand to
interpret these into natural language for the client’s inspection
and approval. We would aim to select theorems which said as much as
possible about those aspects of the Systems behaviorwhich
the original specificationsaid
least about. (…)
Considering
that it is the rôle of the software developers to ask the right
questions to the customer as it is a doctor to ask the right
questions to their patient. Considering that, if the “The
programmer’stask
is ... to give a formal proof that the program he proposes meets the
equally formalfunctional
specification.” [Dij89], “This is a noble goal, but it
presupposes that someone else has done all the hard work by managing
to create a formal functional specification that is appropriate to
the task at hand.”, we proposed to the international software
community that they answer :
“What
questions are prompted by ones particular method of specification?”
for
a small case study about invoicing. Primarily, the workshop will be
the event where these questions are presented. However, it will also
provide an opportunity to :- presentthe
specificationof
the ‘invoicing function’ through different methods, formalisms,
languages- compare different methods, formalisms, languages over the
same case study
This
workshop is the 9th meeting of the series “Putting Into Practice
Methods and Tools for Information System Design”.
The
conferencewill
start with an invited presentationabout
the industrial application of two methods with two different
paradigms, B and LDS/SD "
without
the bibliography, which is available upon request.
Bibliography,
History of my teachings
I
have also just written my bibliography. I provide to the person or
people who have difficulty falling asleep. As well as the history of
my teachings, around and around.
Ça fait bien longtemps que je n'ai pas écrit de CV ! et j'ai tout jeté, brûlé.
Mais ayant eu ces mois-ci pas mal de contacts, il m'a été demandé mon CV in english. Alors j'ai profité de mon bloc-notes pour tenter de reconstituer une chrono. J'y avais écrit "ne perdez pas de temps, ne lisez pas ça, c'est pour quand je perdrai la mémoire".
Mais, c'était pour les historiens, les ethnologues sans le sous et écolos (le Limousin et le Périgord vert, on serait ridicule si on demandait des crédits pour y aller étudier la langue et les mœurs) . C'était aussi pour les petits-enfants, mais je n'ai pas converti en tic et toc.
1946
C'est bête ! ce n'est pas ma mère sage-femme qui m'a mis au monde à la maternité de l'hôpital de Saint-Yrieix-la-Perche, la ville qui a donné naissance à l'industrie de la porcelaine en France !
Mon père était cordonnier, marchand de chaussures. Quand j'étais tout jeune il vendait aussi des sabots. On les a brûlés dans la cuisinière.
L'école des casernes
Je suis allé à l'école "des casernes". Si jeune aux casernes ! Toujours à pied. Et jamais mes parents ne m'ont amené à l'école maternelle, primaire, au lycée, à la fac dans le Postérieur. J'aurais eu honte. On disait "les casernes" alors que c'était une caserne, certes "partagée" en deux, un côté fille, un côté garçon.
En cours élémentaire deuxième année, j'ai eu un instituteur qui nous a appris la méthode de résolution de problème. Il partait du sud-est du tableau noir et remontait jusqu'au nord-ouest. Je pense que Claude Pair à Nancy a eu le même cours.
et sa méthode déductive ou Médée de programmation.
Pour le Cours Moyen (CM), j'ai eu un "instit" qui tirait les oreilles, les cheveux, manipulait la règle, mais aussi peignait sur les murs et encadrait avec des baguettes clouées sur les murs. Il pratiquait lui aussi une pédagogie moderne. Sa classe était CM1/CM2. Ceux qui avaient fini les exercices des CM1 devaient faire les exercices des CM2, interdit de regarder Tiktok sur son portable.
Et c'est ainsi que j'ai passé mon premier examen, l'examen d'entrée en sixième, un an plus tôt que prévu. Mais soyons franc, je n'avais rien prévu. Il m'a fallu une carte d'identité scolaire. Ma mère m'a conduit chez le photographe faire des photos d'identité.
Quand j'ai spécifié en notation B le NNI (Numéro National d'Identité), je me suis souvenu du photographe Later.
Le collège, le lycée Darnet
Mon père avait fait du latin. Il avait dû quitter le lycée en seconde. Mais passait ses dimanches d'hiver à faire des versions latines. Il m'a légué son Quicherat. J'ai fait du latin.
Le collège se nommait "Jean-Baptiste Darnet" du nom du médecin ayant découvert le kaolin (en fait c'est sa femme qui l'utilisait pour laver le linge qui lui a mis la puce à l'oreille). Plus tard il s'appellera lycée.
J'ai redoublé la classe de troisième. Ma mère m'a dit "c'est la puberté". On ne donnait pas le brevet à cette époque. Prof j'ai dû insister pour permettre à des étudiants de redoubler. Ils m'en ont remercié. En IUT en deux ans, le programme était trop dense pour celui qui ne faisait pas d' "impasses" : économie générale, économie d'entreprise, organisation du travail, comptabilité générale, analytique, techniques de communication, anglais, mathématiques, statistiques, probabilité, recherche opérationnelle, projets avec les entreprises, système d'exploitation, calcul numérique, Fortran, Assembleur 360, Cobol, méthodes de programmation, réseaux, bases de données, méthodes du génie logiciel ... et un stage de trois mois.
J'ai fait "latin-maths", si je ne me trompe c'était "C'".
Après le "Premier Bac" (à l'époque il y en avait deux), j'ai fait la terminale "Philosophie". Pourquoi ? L'année précédente, les "Maths Elem" avaient eu de mauvais résultats au bac. Le professeur, fils du professeur qu'avait eu mon père, n'avait pas traité une partie du programme... qui est "tombé" au bac.
J'ai conservé mes deux livres "La connaissance", "L'action".
C'est le prof de philo, Henri Desfougères (il avait fait sa thèse sur Spinoza) qui pour la première fois nous a parlé des ensembles et des tables de vérité ! L'ensemble vide c'était le panneau "stationnement interdit" !
A cette époque, je ne savais pas ce qu'étaient les "classes préparatoires". Je savais ce qu'étaient les études de médecine. Mais ayant une très mauvaise mémoire (une plaie quand on aime beaucoup l'histoire), je n'avais pas le niveau et de toutes façons je détestais les réveils en pleine nuit. Mais pourquoi donc les mères accouchent-elles la nuit ?
Je voulais un métier où on ne passe pas son temps à l'intérieur. J'ai pensé à géomètre. Et aussi aux sciences naturelles.
Alors l'été après la Terminale je me suis inscrit au Télé-enseignement pour me mettre à niveau afin de faire SPCN (Sciences Physique Chimie Naturelles). Or alors que je faisais un tout d'Auvergne à vélo, dans un camping une prof de sciences nat m'a dit "il n'y a pas de postes au Capes, la recherche pétrolière c'est fini...). Alors j'ai fait "sciences économiques", j'avais bien aimé le cours d'histoire sur la crise de 1929.
1964
Limoges
Première année de faculté au Présidial.
A l'époque les sciences économiques n'avaient pas pris leur indépendance du droit. Pendant 4 ans, je ferai du droit constitutionnel, civil, commercial, administratif, international.
Je viens de relire mes notes du cours de maths. Les premières portent sur les ensembles, application à la logique binaire.
Pour la deuxième année je suis parti à Poitiers sur les terres de Rabelais. Je quittais l'intendance de Turgot, la place du Présidial, pour la cité U Rabelais, puis la cité U Descartes ! Avant, boursier du Département de la Haute-Vienne, je faisais un tour d'Europe en auto-stop, testant mon latin de cuisine en Italie, mon allemand en Allemagne et Suisse, et mon anglais si besoin. A Venise je couchais au dessus de l'ordinateur de l'université.
1965
Poitiers
J'allais pouvoir banqueter sur la pierre levée !
"Gargantua s'y livrait à l'étude de bonnes lettres et exercitations athlétiques" [se gardant toutefois de fréquenter] "certains collèges de pouilleux où le roi eût pu mettre le feu dedans et brusler et principal et régens" (Rabelais)
Ma Cité U était la Cité U Rabelais !
La licence était en 4 ans.
On avait eu une formation très théorique. Je pouvais candidater comme ministre de l'économie et des finances ! Mais je doutais que nos ministres fassent de l'oscillateur de Samuelson et du maximum de Pontryagin?
De nos jours, ils pratiquent comme tous les différents modèles du "cob web", qu'il soit walrésien, ou marshallien, c'est évident !
Ce qui m'a le plus intéressé ce fut la RO, Recherche Opérationnelle. J'y ai plus appris en informatique (algorithmes) que dans le micro cours d'informatique en amphi. Un ingénieur de l'INSEE était venu nous parler des dimensions de la carte perforée, de la taille des trous, du poids de la carte !
Chaque été je passais un mois au Centre d'Etudes Economiques du Limousin, dirigé par le professeur Guy Chambon. C'est à cette occasion que j'ai découvert la Programma 120 d'Olivetti. Mais on ne l'avait pas encore reçue.
Je suis élu Commandeur de l'Ordre du Vénéré Bitard (LST)
Mai 68
Président du Cercud. Prononcez correctement !
"Z
caused a good deal of confusion on the pronunciation stakes.
The English and even Scots and some French call it Zed. The
Americans call it Zee and get confused when we correct them Zed.
But Ib had his own distinctive pronunciation: Zet. "( Bill
Roscoe , In Memoriam Ib Sorensen); Z on en reparlera. Z est la cause de ce CV de boomer !
Cercle des résidents de la cité U Descartes, j'avais monté un labo photo, une discothèque (non, pas une boite de nuit !) et une bibliothèque. Les maoïstes apportaient leurs belles revues glacées venant de Chine. Quand plus tard j'ai appris que bien des journalistes de France-Culture, France-Inter sortaient de Normal Sup (pas celui qui s'appelle ENSET !) et qu'ils avaient été maoïstes, je n'ai pas été étonné de certaines unes du Monde, dont celle sur les Khmers rouges.
J'avais fait le tour d'Europe en auto-stop, j'étais allé à Rome, Londres, Washington, etc. mais jamais à Paris. J'y suis allé en auto-stop en mai 68.
Le mémoire et l'IAE
Il était temps que je prenne mon indépendance. J'ai fait "un mémoire" i.e. un DES, on disait aussi "un diplôme" (un Diplôme d'Etudes Supérieures).
Il y avait quelques cours, de profs venant de Paris car après 68, les profs de Poitiers avaient été pompés par Paris (Université Dauphine, etc). J'ai choisi "Déficit et options tarifaires dans le chemin de fer". Je n'ai eu aucun encadrant. Aucun relecteur. Pourquoi ce sujet ? car derrière chez mes parents passait le train, ligne Limoges-Brive par Saint-Yrieix. Et que depuis de nombreuses années se posait la question de son maintien. Elle alimentait un grand dépôt de carburants (c'était encore l'époque où on évitait de les mettre aux frontières). De plus j'étais intéressé par les relations entre public et privé, et les rendements croissants (ceux du livre sont épatants). Enfin, ma mémé d'Excideuil, m'adressait ses vœux sur des cartes représentant des trains, produites par "La vie du rail".
Il y avait dans plusieurs revues et thèse un soi-disant extrait d'un article de Boiteux. J'avais redoublé ma troisième, mais je trouvais que les maths très élémentaires de l'article étaient fort étonnantes. J'ai écrit à Marcel Boiteux. Il m'a répondu ! il était alors directeur ou président d'EDF et président de la société internationale d'économétrie. Une grosse enveloppe. Il m'a dit que j'étais le premier à avoir signalé cette coquille. Dans les revues, son article (qui si ma mémoire est bonne était paru dans La Rouge et la noire, revue des polytechniciens) avait été modifié, puis cette erreur répétée.
J'ai écrit aussi à Maurice Allais. Et j'ai encore reçu une grosse enveloppe. J'avais alors une bonne bibliographie.
En 1969, ni Gérard Debreu, ni Maurice Allais n'avaient eu encore le "prix Nobel" d'économie.
J'ai toujours voulu aller voir sur place. Je savais bien que notre gars de Thiviers, Jean-Paul Sartre, avait de mauvaises lunettes quand il allait en URSS.
Georges Pompidou, de Montboudif, un lieu que je connaissais bien, avait dit
qu'il voulait le socialisme à la Suédoise mais avec le soleil. Alors
j'ai profité d'un stage Connaissance de la Suède organisé par
l'université de Stockholm. C'était après le mémoire.
J'ai pu rencontrer le ministre des transports.
Je suis parti aux USA vivre dans 4 familles pendant un mois. J'ai mis les pieds sur le sol des USA quand l'homme a débarqué sur la lune.
J'y suis revenu sur le campus de l'université de Louisville, ville jumelée avec Montpellier, et y ai travaillé dans une banque.
Je suis allé aussi passer le rideau de fer entre Vienne et Brastislava, en 4L. Puis en URSS.
Pourquoi faire l'Institut d'Administration des Entreprises ? Parce que je n'avais pas étudié en sciences-éco ce que j'y ai appris. Je pensais avoir plus de chance d'avoir un emploi dans une entreprise que comme ministre de l'économie.
Pendant deux ans j'ai été "moniteur", premières payes du ministère de l’Éducation nationale. Et ça m'a permis de lire l'annonce d'un stage de formation d'enseignants en "analyse-programmation" pour les départements informatiques des IUT.
En 1970, il y avait encore le service militaire obligatoire. J'ai obtenu un "stage armée-jeunesse" au CEL, Centre d'Essais des Landes à Biscarosse. Je n'avais pas vu partir la fusée Apollo, mais j'ai vu partir un missile tiré vers les Açores. J'étais au service "informatique des gestion".
A
l’Assemblée Nationale un député avait demandé à Michel Debré,
alors ministre de la Défense, le coût des essais du missile Pluton.
Le missile Plutonétait un système
balistiquenucléaire
à courte portée lancé d'une rampe lance-missile montée
sur un châssis chenillé AMX-30.
Cet équipement constituait la force
de dissuasion tactique nucléaire de l'armée
de terre française pendant la guerre
froide. Au CEL avait été mis en place un système de suivi des
coûts. Et j’ai découvert des « données »
incohérentes. Ainsi le coût de la peinture d’un Panhard AML 60
faite au CEL pouvait varier de 1 à 5 , avec les mêmes éléments
de coût ! Pourquoi ? Lors de la première peinture, le peintre
a sorti du stock un pot de peinture. A la fin de son travail, il n’a
pas jeté le reste de la peinture. Il n’a pas fait de « coulage ».
Il a constitué un « stock sauvage » de peinture. Lors de
la peinture de l’AML 60 suivant, il a utilisé une partie du reste.
Il n’allait pas affecter plusieurs fois l’identifiant du pot de
peinture à des travaux différents, mais certains le faisaient. Il
n’avait pas été prévu de convertir le pot en litres de
peinture ! Toujours une affaire de flux et de stocks. Et de
définition des objets.
Je me
suis souvenu de cela quand avec la méthode Merise en France, on
parlait de « modèle individuel ».
J’ai
ainsi découvert de nombreux stocks sauvages. Le personnel qui devait
faire la saisie des bons de travaux, savait que le système
produisait des résultats incohérents. Et attendait, en tricotant,
la venue du prochain grand chef qui certainement lancerait un nouveau
système d’information. Et partirait avant qu’on en ait vu les
effets
1970
IUT de Montpellier
En 1968, création de l'IUT de Montpellier rue du cardinal de Cabrières avec le département informatique.
Ce département fait partie des 22 premiers départements de France créés
par circulaire ministérielle du .
Je ne sais si il y eut dans l’histoire beaucoup de formations
d’enseignants pour une spécialité d’IUT non enseignée en facs.
Mon ami Marc Guyomard qui a fait des études d’informatique à
Rennes – à l’époque il y avait que peu d’université où il y
en avait – m’a raconté que quand il a été recruté on lui a
demandé s’il avait fait de l’« analyse ». Il a
répond oui. Il avait fait de l’« analyse numérique » !
Le ministère a créé
deux formations. Une à Montpellier, pour les mathématiciens, les
économistes, les physiciens etc dirigée par Robert Reix, un
limousin. Une à Toulouse pour les informaticiens, dirigée par
Jacques Luguet, un toulousain, qui en 1975 a passé sa thèse sur
S.C.A.P.F.A.C.E.: Système de conception automatique et progressive
d'un système de gestion de base de données fondé sur l'analyse
conversationnelle des états de sortie.
L’enseignement de
R. Reix a fait l’objet de deux livres publiés chez Dunod, le
premier à la fin de notre formation.
Quand les matheux
avaient des cours d’économie, les économistes avaient des cours
de maths. Mais pas des cours de « maths pour l’informatique »
que je découvrirai dans la même collection que les livres de R.
Reix avec les livres de J. Bottiaux de l’IUT de Grenoble. Pour
la logique mes premiers livres furent ceux de François
Chenique, Eléments de logique classique et Comprendre la logique
moderne.
Nous avons eu des cours sur la logique des circuits (les deux tomes
de Petitclerc (1),
des cours de langage machine, d’assembleur 360 (peu d’heures).
Le cours de «système » (d’exploitation) fut une vidéo
d’IBM sur l’OS du 360, endormante. Pour le Cobol, chaque
cours traitait d’une ou deux instructions. On
n’a eu aucun cours d’algorithmique, aucun de méthode de
programmation. Quand nous sommes allés avec notre paquet de cartes
perforées à la faculté des sciences, on ne s’attendait pas à
voir sortir chacun une telle longueur de « listings ». Ce
n’était pas la sortie attendue !
Ceux qui le
voulaient pouvaient faire cours aux étudiants d’ « Année
spéciale » (Année Post Premier Cycle). A Montpellier,
beaucoup étaient des étudiants en pharmacie. Je me souviens avoir
fait cours sur le Simplex.
Comment suis-je arrivé à Nantes ?
Je ne savais pas encore que Nantes était le centre du monde d'après Samuel Whittemore Boggs.
Prenez une carte Michelin de France. Tracez une ligne droite reliant Montpellier à Saint-Yrieix-la-Perche. Elle passe par Limoges, Poitiers et Nantes ! J'avais une proposition de poste à Limoges par le professeur Guy Chambon, mais j'ai choisi Nantes. La Bretagne c'est le Limousin et le Périgord vert mais en plus avec la mer et le dynamisme breton.
1971 et suivantes à Nantes
Je suis allé en stage chez ICL à Nantes, apprendre et pratiquer la méthode Cantor (déjà la théorie des ensembles !)
Assistant délégué.
En septembre je débutais mon enseignement au département informatique de l'IUT
logé par l'ENSM (Ecole Nationale Supérieure de Mécanique) devenue ECN (Ecole Centrale de Nantes). J'étais "assistant délégué".
Psychologie, linguistique, logique, histoire des sciences
J'ai fait la licence de psychologie. Heureusement il n'y avait pas que la psychanalyse ! une partie de l'enseignement avait lieu à la fac des sciences, psychophysiologie avec des travaux pratiques, et un cours d'ergonomie physique. On en aurait besoin de nos jours où l'on nous offre des écrans avec écriture en bleu clair sur fonds gris !
Je n'avais pas eu de cours de langage. Alors avec un collègue j'ai fait le certificat de linguistique générale à la fac.
Pour la logique j'ai suivi le cours de Jean-Louis Gardies. Et fait le certificat d'histoire des sciences.
Ayant passé une thèse en "Informatique des organisations" à Dauphine (encore un travail non encadré !), j'ai candidaté via deux sections du CNU (je ne sais si c'était le nom à l'époque), une de "gestion", une d''informatique". Je me suis fait jeter. Et ai reçu deux avis. L'un "votre dossier est plus informatique que gestion" et l'autre "votre dossier est plus gestion qu'informatique".
Dans ces années là, j'ai fait beaucoup de formations à l'informatique du personnel des Administrations nantaises, dans des entreprises (en m'appuyant sur le travail des gens en formation, apprenant beaucoup dans les services, y faisant des analyses). Je suis allé au CEPIA sur les terres de l'IRIA (devenue INRIA) au Domaine de Voluceau à Rocquencourt une semaine au printemps et une en automne.
Professeur certifié
Je suis passé du Postérieur au Secondaire !
Comme la veille des congés c'est à moi qu'on demandait d'aller faire une formation dans une entreprise (statut d'assistant délégué !), un jour je suis allé passer un CAPET (Certificat d'Aptitude à l'Enseignement Technique).Je n’ai jamais reçu les résultats du concours. Et la veille d’un
départ au Japon, je suis passé rue de Grenelle. Je n’avais jamais
vu notre ministère de l’Éducation Nationale. A droite du grand
porche, sur le mur, un tableau d’affichage recouvert d’un
grillage de poulailler. Et je vois les résultats du concours, bien
fanés. Et il me semble y lire mon nom. Je suis allé dans le
service adéquat. Et on m’a demandé où il faudrait mettre le
centre de formation (je ne sais plus le nom de ce centre). Bien sûr
j’ai choisi Nantes. Je fus remercié pour ma collaboration. A la
rentrée, le directeur de l’IUT a écrit au recteur. Il avait
besoin de moi. Alors j’ai conservé mon service à l’IUT et j’ai
passé une inspection lors d’un cours au lycée. Je m’en
souviens. J’ai osé faire comprendre le pourquoi de la formule du
modèle de Wilson. L’inspecteur m’a accusé de ne pas respecter
le programme. Heureusement en IUT nous n’avions pas d’inspection.
Revenons au Japon. Sur une plage d’une île en face d’Hiroshima
où je campais, j’ai rencontré un informaticien japonais. Il
connaissait les méthodes LCP et LCS de J.D. Warnier.
très fier de me montrer en dessinant sur le sable, une petite
spécification selon la notation LCS.
Puis je suis repassé dans le Postérieur
Maître-assistant
L'année suivante j'étais "maître-assistant" en gestion au département gestion. J'y ai été mal vu. 80% les heures prévues au PPN (Programme Pédagogique National) pour l'informatique y étaient distribuées entre les enseignants, il y avait plein de "responsables , de groupe, de matière, d'année, de stages, .... Le directeur du service informatique de la mairie y faisait quelques heures de cours. J'ai pris sa place, mais il m'a ouvert les services informatiques de toutes les mairies de France. Et les colloques des informaticiens municipaux et l'école des cadres du CFPC (Centre de Formation des Personnels Municipaux) à Angers, maintenant appelée INSET.
Au département "GEA" j'ai monté des travaux dirigés de programmation. On avait des PC avec des lecteurs de cassettes à bandes magnétiques. Puis à floppy-disks. J'enseignais la programmation structurées. Les étudiants disposaient de la traduction en Basic des "si alors sinon", "répéter jusqu'à", "tant que faire", "faire jusqu'à".
J'ai travaillé à une thèse d'économie sur la tarification entre entreprises publiques, entreprises privées, Administration publique. Dans la suite de mon stage au CEL et de mon mémoire de DES. Mais je n'ai trouvé aucun directeur de thèse.
Je me souviens avoir écrit à Jacques Chirac, premier ministre, pour avoir accès à un rapport de la Cour des Comptes. Je n'ai toujours pas reçu sa réponse !
Un jour je suis "monté" à Paris (on y montait souvent) et suis allé voir le ministre de l'économie et des finances, Giscard d'Estaing.
Facile à trouver ! Vous passez de la rue à la cour du Louvre sous un grand porche. Vous montez l'escalier qui donne sur le porche. Giscard se faisait inviter à déjeuner par des Français, il pouvait bien me recevoir. Pas de chance, l'huissier m'a dit qu'il n'était pas là. C'était plus facile en Suède où le ministre payait son ticket pour la cantine du ministère.
Maître de conférences
Puis j'ai reçu un courrier m'indiquant que j'étais dans la section Informatique. Je suis passé "maître-assistant" en informatique puis "maître de conférences".
Professeur des universités
Un jour j'ai passé une HDR (Habilitation à Diriger des Recherches) et j'ai obtenu un poste de "Professeur des universités". Pas eu de difficultés. A l'époque, il y avait très peu de candidats dans le domaine du génie logiciel, des méthodes.
2002
"En doutant, nous venons à la recherche, en cherchant, nous percevons la vérité" Pierre Abélard
Abélard à l'aube des universités
Yves Tanguy que j'avais connu en arrivant à l'IUT informatique, était devenu président de l'université de Nantes. Il m'a appelé un jour pour me confier l'organisation d'une conférence sur Pierre Abélard. Il avait lu mon blog. Je citais Abélard. Normal, à mon arrivée à Nantes j'étais allé au Pallet, patrie d'Abélard puis à Liré chez Du Bellay. J'avais lu Umberto Eco, j'avais tous les disques de Brassens. Y. Tanguy m'a montré les lettres reçus de "spécialistes" nantais. Un type de l'IUT mandaté pour une telle conférence !
J'ai rempli ma bibliothèque de livres de philosophes, logiciens anciens, historiens, musicologues... et organisé une conférence internationale selon les procédures connues en sciences, comité de lecture, appel à communication. Et avec un ensemble de conférences "grand public".
Avec ma mémoire faiblarde j'ai beaucoup stressé. Surtout quand j'ai dû faire une émission de télévision. J'ai fait le tour des lieux où avaient vécu Abélard et Héloïse.
J'ai ensuite rédigé des articles sur les spécifications, la querelle des universaux... mais je me suis fait jeter quand j'ai voulu les publier. J'ai beaucoup "pissé dans un violon". Actuellement sur ce point je relis Phèdre de Platon.
Autodidacte, mais cycliste urbain
En informatique je suis un autodidacte. J'ai beaucoup regretté de n'avoir pas fait une licence d'informatique. Et d'avoir fait l'étude des compilateurs. Mais ça n'existait que dans quelques universités en France. Le centre était à ... l'est, Grenoble. Du Big Data à l'IA: 60 ans d'expérience en
traitement des données, des informations et des connaissances à Grenoble, Michel Adiba, Jean-Pierre Giraudin, UGA édition, 2024, puis Nancy.
Je remercie tous ces Prix Turing qui ont écrit des livres très pédagogiques à ma portée, Tony Hoare, Robin Milner, ceux qui ont fait des exposés à l'Inria
3 janvier 1967, création de l'IRIA au camp de Voluceau à Rocquencourt où se trouvait le SHAPE, le quartier général des forces alliées en Europe.
(où j'irai pendant plusieurs années faire deux semaines de cours par an au Cepia), exposés qu'on transformait aussitôt en enseignement, tous ces auteurs, praticiens qui publiaient, les informaticiens avec lesquels j'ai enseigné, fait des projets. Et ceux qui nous ont ouvert les portes de la salle machine de leur entreprise pendant la nuit (il n'y avait pas de "machine d'études" à l'époque).
J'ai été secrétaire du CILO (Club Informatique Loire Océan) et ai organisé des conférences chaque jeudi à l'IUT en faisant venir des conférenciers sur les thèmes d'actualité. Je pense au Président de la CNIL, et à Serge Abiteboul (maintenant à l'Académie des sciences), et bien d'autres.
Je suis allé plusieurs fois faire des cours aux journées exposition du génie logiciel organisées à Toulouse par Jean-Claude Rault.
Et j'ai pris la suite à Nantes en créant la série "Putting into practice methods and tools for information system design".
Michaël Jackson dont j'appréciais beaucoup les écrits, la méthode JSD (si éloignée de Merise !) est venu deux fois. La première fois j'ai reçu beaucoup d'appel de parents pour leurs enfants ! La deuxième il a accepté de faire un cours aux étudiants. Il a commencé en français, je lui ai demandé de continuer en anglais. Je me souviens toujours de leur remarque : "avec l'anglais on est obligé de prêter attention aux propos". J'avais réussi. Des étudiants ont continué leurs études en Angleterre.
Jean-Raymond Abrial dont j'avais lu "Data Semantics"... ce qui m'avait amené à aller voir sur place à Cargèse en Corse, m'a adressé ses premiers écrits sur ce qui ne s'appelait pas encore B. Des étudiants du Cnam ont travaillé sur ces documents. Abrial est venu en 1994 faire un cours sur B, enregistré en cassettes VHS que l'Iut a distribué dans des écoles en France, en Europe et jusqu'à Stanford.
Un jour un collègue britannique qui cherchait des établissements français pour échanger avec l'Université de Teessside et celle de York, est venu à Nantes... attiré par Z qu'il appelait "sa lingua franca". Avec des projets Erasmus (en ces temps les IUT y avaient droit !), j'ai pu introduire les travaux de Tony Hoare, Robin Milner, ce qui "collait" bien avec les écrits de M. Jackson.
Après VDM, Z m'allait bien car j'avais écrit mon premier livre chez Eyrolles "Le modèle relationnel binaire, IA, NIAM" , méthode pratiquée au Centre informatique du Crédit Mutuel Loire Océan.
Et un collègue a eu l'idée de déposer le nom de ma méthode - c'était l'époque de la secte - MOON (Méthode Orientée Objets Normalisés) !" Si à 50 ans on n'a pas sa méthode, c'est qu'on a quand même raté sa vie de prof !.
J'ai créé un DESS Génie logiciel, droit, économie, normes suite aux voeux de cadres d'entreprises.
J'ai créé la première conférence internationale sur B. Après celle sur De Z à B.
Depuis, elle a toujours lieu. La prochaine ce sera à Dusseldorf.
Et la conférence, The B method, from research to teaching.
1-10-2008
Départ en retraite comme "professeur émérite"
Master 2 d'histoire des sciences au Centre François Viète de la faculté des sciences de Nantes. Facile ! en face du labo d'informatique.
Je voulais faire ensuite une thèse sur histoire et épistémologie des méthodes de développement de logiciels, mais n'ai pas trouvé d'encadrant. Mais en 2025 ...
2011
Année Vialatte. Je suis Membre du Club des Vialattiens notoirement méconnus
2025
Je me suis fait rattraper ...
Cette année, nous traiterons de l'histoire des travaux de Jean-Raymond Abrial.
Du langage LTR (utilisé à l'Arsenal d'Indret - cela me rappelle le contrat avec l'Arsenal au cours duquel j'ai passé une semaine à l'abbaye de Fontevraud, ce n'est pas sur la route Richard Cœur de Lion !), au langage ADA, au SGBD Socrate (utilisé aussi à Indret), Z, B, Event-B
Je vous renvoie à l'introduction de ce billet de blog. Les blogs ! c'est démodé ! trop long à lire. J'avais bien trouvé le bon titre de mon blog :
Espérons que personne ne
dira "quoras auras-tu'chabat de platussar ?" quand auras-tu fini de faire du blablaware ? "When will you stop quacking?"
Qu'est-ce qui fut toujours sous-jacent à mes publications ?
Je vous recopie ceci :
« ...we find that our
customers are not very good at deciding on their requirements. ...
Traditionally, we software developers have
thought of our customers as bears of very little brain. ’ They
don’t know what they want’, we said to each other smugly. But in
truth we achieved this superior perspective only by virtue of our own
limitations and failures. We were the bears of very little brain” Michaël Jackson 1995
« ...we find that our
customers are not very good at deciding on their requirements. ...
Traditionally, we software developers have
thought of our customers as bears of very little brain. ’ They
don’t know what they want’, we said to each other smugly. But in
truth we achieved this superior perspective only by virtue of our own
limitations and failures. We were the bears of very little brain”
[Jac95]
Considering
that it is the rôle of the software developers to ask the right
questions to the customer as it is a doctor to ask the right
questions to their patient. Considering that, if the “The
programmer’s
task is ... to give a formai proof that the program he proposes meets
the equally formal
functional specification.”
[Dijkstra 89], “This is a noble goal, but it presupposes
that someone else has done all
the hard work by managing to create a formai functional specification
that is appropriate to the task at hand.”, we proposed to the
international software community that they answer :
“What questions are prompted
by ones particular method of specification
?”
for
a small case study about invoicing. Primarily, the workshop will be
the event where these questions are presented. However, it will also
provide an opportunity to :- present
the specification
of the ‘invoicing function’ through different methods,
formalisms, languages- compare different methods, formalisms,
languages over the same case study
This
workshop is the 9th meeting of the series
“Putting Into Practice Methods and Tools for Information System
Design”.
The
conference
will start with an invited presentation
about the industrial application of two methods with two different
paradigms, B and LDS/SD
Introduction
Henri HabriasIRIN,
Université de Nantes
In
[Win88], Jeanette M. Wing studied 12 specifications
of the Library Problem, spécifications that were published in
different papers, each one illustrating a method. Ten years after, we
proposed to colleagues to specify another problem, the Invoicing
Problem, but following a common protocol.
The
name of the exercise was :“What
questions are prompted by ones particular method of specification
?”
For
several persons our call for paper was disconcerting. The academic
person likes to be in his domain. Was this workshop for System
Engineering specialists. Requirement Engineering specialists, for the
FormalSpecification
specialists, for the Object Orientation specialist, etc. ? Very
often, formal
methods people (more exactly, working on formal
notations) consider that they dispose an unambiguous requirements
text. Semi-formal methods people. more ambitions (very often the less
you are formal
the more you are ambitions, what can be expressed saying “the more
it is hollow, the more you can put in it”) don’t hesitate to
cover ail steps going from the informal
to the formal
(being the executable
code for them). Some consider that even the non formal
methods are not adequate
to obtain good requirement i.e. a sufficient requirement for the
semi-formal or formal
method specialist (what is exactly sufficient requirement ? is it the
same thing for ail the methods specialists ?...).We consider that it
is the specifiers
responsibility (finally is it not what we want?) to write the
specification.
To write the specification
is not an algorithmic job, it is not an automatic transformation
(and, by definition,
it will never be). In medicine, several centuries were needed to
invent what is named “clinic”. Clinicians are doctors in
medicine. They do not consider that they do not need the medical
science. Meanwhile they know that it is with their science that they
can make observations, find questions to ask, make and verify
hypothesis, make deductions,
etc. After the reception
of the first proposals,
we were surprised - yet, not so much ! - by the fact that very few
questions were asked in the papers. Sometimes we found some sentences
as “We suppose that ...”. As Jules Renard, a French writer, said
“writing is a way of speaking without being interrupted”.
Computer scientists manifestly do not like neither consider what the
client want and raise up questions, nor to propose choices. Some
other remarks could be done on the first versions of the papers :-
some authors create bad interpretations
(they rewrite the text into a more ambiguous one) in order to say :
with my method, I found that I misinterpreted the informal
text.- very few authors answered the question : “What questions are
prompted by ones particular method of specification?”-
several authors discussed in fact with technical problems linked to
their formalism. They asked themselves questions dealt with how to
say something using their formalism and not what to ask the customer
on what he has in mind. Thought it was here the first aim of the
exercise. In consequence
we precised our aims with the following text :“It
is not up to the computer scientist to decide
what the invoicing function is. It is not up to a doctor to decide
the illness of their patient. It it was so, the customer would not
need to consult a doctor ! The doctor must ask the right questions of
his customer. It is the same thing for an architect, etc. ”
Aims of the papers :- The
principal goal of this exercise is to know what questions are raised
by your favorite method(s) (it is in the title of the workshop!)
-
questions on the informal
text You ask questions (you write these questions in the paper) when
the question arrives (show connection with your method or
formalism).You choose one answer and you specify ... and you continue
by asking other questions, etc ..
.- questions on your method
-
The second goal is to present
your method, formalism through a small example (every used concept
has to be given an example in the cases study). One should not first
give a copy of text we can find on the method in other papers and
then give the specification
following the method/formalism. It is important to do the two things
together. NB.
: you can consider the beauty (perhaps synonymous of facility) of
your specification.
But, please, remember that our principal goal is to know what
invoicing function the customer has in his head, and perhaps to
explain to the customer when they are being inconsistent
.-
The set of ail the papers will serve to help to compare the
methods/formalisms, particularly from the point of view of what is
covered by the method. In other terms, we want to know of you “have
you the capacity to obtain information from the user” ? We would
like as a product of your work to have
a new
text in natural language expressing your specification
(taking into account your questions, answers and consistency checks)
at the end of your paper. The Library Problem as studied by J.M. Wing
was written in a “database” orientation. Its structure was the
following : a list of transactions, a relation indicating who can
execute what transaction, and a list of constraints on the state of
the database. 10 years after the paper of J.M. Wing, we propose to
study a very short informal
text on invoicing. It is well known that many people think they know
what invoicing is, everyone being accustomed to pay invoices. One
would think that the specifier
would ask different questions than the layperson, and not restrict
themselves to a superficial understanding of invoicing. Whether the
authors, thanks to their method, language or formalism would bring an
added value to the informal
text of the specification
was one of our question. Our hypothesis were :
that working with different
paradigms (we tried to obtain papers from people of the “real time
community”, of the “reactive languages”, of the “protocol
community”) the specifiers would ask different sets of questions
that specifiers treat only
what they know how to specify, applying the principle enonced by the
French poet Cocteau “As these problems overcome us, we feign not to
know of them”
that the “solutions” of
case studies written following a method, are very often written after
having been obtained without the method,
that, very often, the tools
used are not appropriate, being a power hammer to kill a fly
that the tools are often not
used where they could be useful
that
the specifiers make classifications of application domains without
clear criteria, considering that such and such method is specific
to a class of application domain. Name of domains such as
“information Systems”, “database”, “business”, etc. are
in fact names for domains of competence.
(Some contacted people answered : it is a business application, it is
not our domain). Some years ago, “information Systems” people
(term used for database !) said that the M. Jackson’s JSD method
was not for business applications because it uses the paradigm of
sequential process and refers explicitly to T. Hoare’s CSP. It was
curious that meanwhile some people refereed the JSD’s book Jac83]
saying that JSD was data oriented (in fact they were confusing the
JSD’s trees and the JSP’s trees). More curious was the fact that
M. Jackson was treating in his book examples as invoicing, lift
control, a lift control being not classified usually in the
"information System” domain.
Perhaps
the difference
between a practitian (an engineer) and an academic
is that the latter is always able to adapt his perception of the
reality to be able to sell his theory, whereas the first
has to respect the reality even if we cand always say that “there
is no reality, there are only
perceptions of reality”.
Facing
the difficulty to make our aims understood, we asked ourselves : are
we the only one interested by such questions ? We
are not indeed. Some authors have
wrote on the subject. We will, under the title “Refutability”,
quote some of them as an introduction to the workshop.
Refutability
“Respectable
software development depends
on refutability (-..). A domain description of the system’s
environment, or application domain, claims
to describe how things are ; a specification
or requirement claims
to describe how
things are
when the System is installed and operating. Both of them must be
refutable. The domain description must run the risk that someone will
say : ’That’s not true - here’s a counterexample’. And the
requirement description must run two risks : that your customer will
say : ’No, that’s not the effect I require’ ; or, later : ’Yes,
that was the effect I required, but the System isn’t achieving it -
just look at what it did here”’.[Jac95] “System design is often
described as a problem-solving activity. The engineer has a goal,
defined by the required System behavior.
He must discover a way of achieving it and convince others that this
way will work.”
The
model (...) is no more a theory about the CBM Company’s
requirements [Coh92]. In constructing it, we hâve interpreted the
natural language statement of functionality (...). We have
had to make decisions about both functionality and structure where
these two documents were silent. Theses decisions are not necessarily
either correct or complete.
But there is no way to evaluate them without referring back to the
“owners” of the problem, the executives of the CBM Company
themselves. Of course, they may not be able to assess the validity of
our model by reading it themselves (although there are historical
precedents for teaching clients just enough mathematics to allow them
to do so). Our only recourse in such circumstances is to present
some of the more ” surprising” properties of our model to the
clients so that they may have
the opportunity to “réfuté” them. This is an exercise in
"scientific method”, as laid down by Sir Karl Popper, who
showed that actively seeking such refutation
was the only way to gain a high degree of confidence in a scientific
theory, but that even that could not prove that it was true. How,
then, are we to identify, and conduct, appropriate réfutation
experiments? One way is merely to recount the assumptions we have
made (...). Alternatively, we might treat the model as a “prototype”
and allow the customer to “exercise” it by performing a series
of transactions and observing their effects. (...)
A
further alternative would be to prove some theorems about the model’s
behavior
and to interpret these into natural language for the client’s
inspection and approval. We would aim to select theorems which said
as much as possible about those aspects of the Systems behavior
which the original specification
said least about. (…)
Considering
that it is the rôle of the software developers to ask the right
questions to the customer as it is a doctor to ask the right
questions to their patient. Considering that, if the “The
programmer’s
task is ... to give a formal proof that the program he proposes meets
the equally formal
functional specification.”
[Dij89], “This is a noble goal, but it presupposes
that someone else has done all
the hard work by managing to create a formal functional specification
that is appropriate to the task at hand.”, we proposed to the
international software community that they answer :
“What questions are prompted
by ones particular method of specification
?”
for
a small case study about invoicing. Primarily, the workshop will be
the event where these questions are presented. However, it will also
provide an opportunity to :- present
the specification
of the ‘invoicing function’ through different methods,
formalisms, languages- compare different methods, formalisms,
languages over the same case study
This
workshop is the 9th meeting of the series
“Putting Into Practice Methods and Tools for Information System
Design”.
The
conference
will start with an invited presentation
about the industrial application of two methods with two different
paradigms, B and LDS/SD "
sans la bibliographie, disponible sur demande.
Bibliographie, Histoire des mes enseignements
Je viens aussi de rédiger ma bibliographie. Je fournis à celui ou celle ou ceux qui ont des difficultés à s'endormir. Ainsi que l'histoire de mes enseignements, autour et alentours.
Limousin et NantaisMembre du Club des Vialattiens notoirement méconnushttp://vialatte.lamontagne.fr/annee_vialatte/contact : aredius44 à yahoo point fr
6071
-
*J’allais le démasquer, le fourbe. Persuadé que sa barbe était postiche, je
l’ai arrachée d’un coup sec. Il s’est écroulé tout d’une pièce, inerte,
désar...
SUMOO – Contes
-
N’autres sem tornats intrats dins la periòde dau SUMOO de la davalada.
SUMOO qu’es aquò Ne’n parlí un còp aquí (>òc) L’Esperanto-Sumoo es estat
trobat per ...
Chêvrefeuille
-
Vient du latin latin caprifolium « troëne ». Surtout en frpr tsèvrefàol
s.m. « chèvrefeuille ». Très long article dans le FEW. s FEW II,108
Néerla...
Clap de fin
-
Entendu sur France Culture ce matin : Aldébaran sera mise en liquidation
judiciaire dans les heures qui viennent. C'est dommage pour les salariés de
ce qui...
IA qu'à
-
Avec l'intelligence artificielle, le vieux rêve d'une éducation automatisée
[image: 20250208a]
À l’approche du sommet 2025 de l'intelligence artificielle ...
Belle's ode
-
Viens ma belle, ma lumineuse Allons frotter nos envies à la sueur du monde
Il est temps de dépoussiérer nos vies Et de tisser de nouveaux sentiers
Soulevon...
Première approche des positions du buveur de Vin…
-
Votre Taulier ne rechigne jamais, même pendant les mois d’été, à explorer
les plis et les replis de la libido du buveur. Mais, comme il est aussi un
fieffé...
Réminiscence : Album
-
A l'occasion de l'exposition Réminiscence, j'ai regroupé dans un album les
textes précédemment publiés sur ce blog en association avec les photos.
Vous pou...
Mandala
-
Les mandalas font partie de la tradition bouddhique où ils sont utilisés
comme support pour la méditation. Souvent ce sont des cercles remplis de
formes gé...
Élections européennes
-
[image: NdoFkDKJ-istock-000009506691small]
*Le suffrage universel est une grande conquête démocratique, mais il
suspend sur la tête de la démocratie ...
Résurgence
-
Le temps passe si vite... A force d'enchaîner les instants présents, on
s'aperçoit au bout d'un moment qu'on a une pile de passé à trier. Et passer
son tem...
Pendant les travaux...
-
À partir d'aujourd'hui 21 mai et pour un certain temps (un mois environ) le
blog Le Garde-mots et moi nous allons mener des vies séparées.
En ce qui me con...
Cet engin qui à Nantes devant le marché de Talensac déborde de l'emplacement a la bonne vignette. Oui oui. Et puis il est doublement 44 ! 
Articles
