Barbara Liskov and the Rules That Hold Software Together

Barbara Liskov grew up loving mathematics and puzzles.

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

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

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

Barbara did not let that stop her.

Barbara ließ sich davon nicht aufhalten.

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

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

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

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

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

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

Barbara created a new programming language called CLU.

Barbara schuf eine neue Programmiersprache namens CLU.

CLU introduced the idea of abstract data types.

CLU führte das Konzept der abstrakten Datentypen ein.

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

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

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

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

Then Barbara noticed another problem.

Dann bemerkte Barbara ein weiteres Problem.

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

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

She wrote a clear rule to prevent this.

Sie schrieb eine klare Regel, um dies zu verhindern.

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

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

This rule became known as the Liskov Substitution Principle.

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

It is still taught in computer science courses today.

Es wird heute noch in Informatikkursen gelehrt.

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

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

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

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

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

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

Moral: Clear rules make complex things trustworthy.

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.