Barbara Liskov und die Regeln, Die Software Zusammenhalten
Barbara Liskov and the Rules That Hold Software Together
Barbara Liskov war Pionierin von CLU und abstrakten Datentypen und formulierte das Liskov-Substitutionsprinzip, eine Regel, die heute noch in jedem Informatikkurs gelehrt wird.
Barbara Liskov wuchs mit einer Leidenschaft für Mathematik und Rätsel auf.
Barbara Liskov grew up loving mathematics and puzzles.
Als sie die Universität besuchte, studierten nur sehr wenige Frauen Informatik.
When she went to university, very few women studied computer science.
Barbara ließ sich davon nicht aufhalten.
Barbara did not let that stop her.
Sie wurde eine der ersten Frauen in den Vereinigten Staaten, die einen Doktortitel in Informatik erwarb.
She became one of the first women in the United States to earn a PhD in computer science.
Nach ihrem Studium erkannte sie ein großes Problem in der Art und Weise, wie Menschen Software schrieben.
After her studies, she saw a big problem in how people wrote software.
Jeder Programmierer verwendete andere Stile, und niemand konnte den Code einer anderen Person leicht benutzen.
Every programmer used different styles, and no one could easily use another person's code.
Barbara schuf eine neue Programmiersprache namens CLU.
Barbara created a new programming language called CLU.
CLU führte das Konzept der abstrakten Datentypen ein.
CLU introduced the idea of abstract data types.
Das bedeutete, dass ein Programmierer die unordentlichen Details in einem Codestück verbergen und nur das zeigen konnte, was anderer Code sehen musste.
This meant that a programmer could hide the messy details inside a piece of code and show only what other code needed to see.
Andere Programmierer konnten dieses Codestück nun sicher verwenden, ohne zu wissen, wie es innen funktionierte.
Other programmers could now use that piece of code safely, without knowing how it worked inside.
Dann bemerkte Barbara ein weiteres Problem.
Then Barbara noticed another problem.
Wenn Programmierer einen Teil eines Programms durch eine neuere Version ersetzten, brach das gesamte Programm manchmal zusammen.
When programmers replaced one part of a program with a newer version, the whole program sometimes broke.
Sie schrieb eine klare Regel, um dies zu verhindern.
She wrote a clear rule to prevent this.
Ihre Regel lautete: Wenn du einen Teil eines Programms ersetzt, muss sich der neue Teil in jeder Hinsicht so verhalten wie der alte.
Her rule said: if you replace one part of a program, the new part must behave in every way that the old part did.
Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.
This rule became known as the Liskov Substitution Principle.
Es wird heute noch in Informatikkursen gelehrt.
It is still taught in computer science courses today.
Barbara baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.
Barbara also built systems called Argus to explore how software could keep running even when things went wrong.
Viele Jahre später erhielt sie den Turing-Preis, den höchsten Preis in der Informatik.
Many years later, she received the Turing Award, the highest prize in computer science.
Sie lächelte ruhig, wissend, dass ihre wahre Belohnung in der zuverlässigen Software lag, die die Menschen täglich nutzten.
She smiled quietly, knowing her real reward was in the reliable software that people used every day.
Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.
Moral: Clear rules make complex things trustworthy.