Barbara Liskov und die Regeln, Die Software Zusammenhalten

Barbara Liskov wuchs mit einer Leidenschaft für Mathematik und Rätsel auf.

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

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

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

Barbara ließ sich davon nicht aufhalten.

Barbara ne se laissa pas arrêter par cela.

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

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

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

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

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

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

Barbara schuf eine neue Programmiersprache namens CLU.

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

CLU führte das Konzept der abstrakten Datentypen ein.

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

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

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.

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

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

Dann bemerkte Barbara ein weiteres Problem.

Barbara remarqua ensuite un autre problème.

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

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

Sie schrieb eine klare Regel, um dies zu verhindern.

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

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

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

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

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

Es wird heute noch in Informatikkursen gelehrt.

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

Barbara baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.

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.

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

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

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

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

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.

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