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 creció amando las matemáticas y los acertijos.

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

Cuando fue a la universidad, muy pocas mujeres estudiaban informática.

Barbara ne se laissa pas arrêter par cela.

Barbara no dejó que eso la detuviera.

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

Se convirtió en una de las primeras mujeres en Estados Unidos en obtener un doctorado en informática.

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

Después de sus estudios, vio un gran problema en la forma en que la gente escribía software.

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

Cada programador usaba estilos diferentes y nadie podía usar fácilmente el código de otra persona.

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

Barbara creó un nuevo lenguaje de programación llamado CLU.

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

CLU introdujo la idea de los tipos de datos abstractos.

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.

Esto significaba que un programador podía ocultar los detalles complicados dentro de un fragmento de código y mostrar solo lo que otro código necesitaba ver.

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

Otros programadores podían ahora usar ese fragmento de código de forma segura, sin saber cómo funcionaba por dentro.

Barbara remarqua ensuite un autre problème.

Entonces Barbara notó otro problema.

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

Cuando los programadores reemplazaban una parte de un programa por una versión más nueva, el programa completo a veces se rompía.

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

Ella escribió una regla clara para evitar esto.

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

Su regla decía: si reemplazas una parte de un programa, la nueva parte debe comportarse en todos los sentidos como lo hacía la parte anterior.

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

Esta regla se conoció como el Principio de Sustitución de Liskov.

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

Todavía se enseña en los cursos de informática hoy en día.

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 también construyó sistemas llamados Argus para explorar cómo el software podía seguir funcionando aunque las cosas salieran mal.

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

Muchos años después, recibió el Premio Turing, el mayor galardón en informática.

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

Sonrió tranquilamente, sabiendo que su verdadera recompensa estaba en el software confiable que la gente usaba todos los días.

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

Moraleja: Las reglas claras hacen que las cosas complejas sean confiables.