Barbara Liskov et les Règles Qui Maintiennent les Logiciels Ensemble

Barbara Liskov a grandi en aimant les mathématiques et les puzzles.

Barbara Liskov grew up loving mathematics and puzzles.

Quand elle est allée à l'université, très peu de femmes étudiaient l'informatique.

When she went to university, very few women studied computer science.

Barbara ne se laissa pas arrêter par cela.

Barbara did not let that stop her.

Elle est devenue l'une des premières femmes aux États-Unis à obtenir un doctorat en informatique.

She became one of the first women in the United States to earn a PhD in computer science.

Après ses études, elle vit un gros problème dans la façon dont les gens écrivaient des logiciels.

After her studies, she saw a big problem in how people wrote software.

Chaque programmeur utilisait des styles différents et personne ne pouvait facilement utiliser le code d'une autre personne.

Every programmer used different styles, and no one could easily use another person's code.

Barbara créa un nouveau langage de programmation appelé CLU.

Barbara created a new programming language called CLU.

CLU a introduit le concept des types de données abstraits.

CLU introduced the idea of abstract data types.

Cela signifiait qu'un programmeur pouvait cacher les détails complexes dans un morceau de code et ne montrer que ce que le reste du code avait besoin de voir.

This meant that a programmer could hide the messy details inside a piece of code and show only what other code needed to see.

D'autres programmeurs pouvaient désormais utiliser ce morceau de code en toute sécurité, sans savoir comment il fonctionnait à l'intérieur.

Other programmers could now use that piece of code safely, without knowing how it worked inside.

Barbara remarqua ensuite un autre problème.

Then Barbara noticed another problem.

Quand les programmeurs remplaçaient une partie d'un programme par une version plus récente, tout le programme se cassait parfois.

When programmers replaced one part of a program with a newer version, the whole program sometimes broke.

Elle écrivit une règle claire pour éviter cela.

She wrote a clear rule to prevent this.

Sa règle stipulait : si vous remplacez une partie d'un programme, la nouvelle partie doit se comporter en tout point comme l'ancienne.

Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.

Cette règle est devenue connue sous le nom de principe de substitution de Liskov.

This rule became known as the Liskov Substitution Principle.

Il est encore enseigné dans les cours d'informatique aujourd'hui.

It is still taught in computer science courses today.

Barbara a aussi créé des systèmes appelés Argus pour explorer comment les logiciels pouvaient continuer à fonctionner même quand les choses tournaient mal.

Barbara also built systems called Argus to explore how software could keep running even when things went wrong.

De nombreuses années plus tard, elle reçut le prix Turing, la plus haute récompense en informatique.

Many years later, she received the Turing Award, the highest prize in computer science.

Elle sourit doucement, sachant que sa vraie récompense était dans le logiciel fiable que les gens utilisaient chaque jour.

She smiled quietly, knowing her real reward was in the reliable software that people used every day.

Morale : Des règles claires rendent les choses complexes dignes de confiance.

Moral: Clear rules make complex things trustworthy.