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 wuchs mit einer Leidenschaft für Mathematik und Rätsel auf.

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

Als sie die Universität besuchte, studierten nur sehr wenige Frauen Informatik.

Barbara ne se laissa pas arrêter par cela.

Barbara ließ sich davon nicht aufhalten.

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

Sie wurde eine der ersten Frauen in den Vereinigten Staaten, die einen Doktortitel in Informatik erwarb.

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

Nach ihrem Studium erkannte sie ein großes Problem in der Art und Weise, wie Menschen Software schrieben.

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

Jeder Programmierer verwendete andere Stile, und niemand konnte den Code einer anderen Person leicht benutzen.

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

Barbara schuf eine neue Programmiersprache namens CLU.

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

CLU führte das Konzept der abstrakten Datentypen ein.

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.

Das bedeutete, dass ein Programmierer die unordentlichen Details in einem Codestück verbergen und nur das zeigen konnte, was anderer Code sehen musste.

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

Andere Programmierer konnten dieses Codestück nun sicher verwenden, ohne zu wissen, wie es innen funktionierte.

Barbara remarqua ensuite un autre problème.

Dann bemerkte Barbara ein weiteres Problem.

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

Wenn Programmierer einen Teil eines Programms durch eine neuere Version ersetzten, brach das gesamte Programm manchmal zusammen.

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

Sie schrieb eine klare Regel, um dies zu verhindern.

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

Ihre Regel lautete: Wenn du einen Teil eines Programms ersetzt, muss sich der neue Teil in jeder Hinsicht so verhalten wie der alte.

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

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

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

Es wird heute noch in Informatikkursen gelehrt.

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 baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.

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

Viele Jahre später erhielt sie den Turing-Preis, den höchsten Preis in der Informatik.

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

Sie lächelte ruhig, wissend, dass ihre wahre Belohnung in der zuverlässigen Software lag, die die Menschen täglich nutzten.

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

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.