Barbara Liskov und die Regeln, Die Software Zusammenhalten

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

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

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

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

Barbara ließ sich davon nicht aufhalten.

Barbara nie pozwoliła, by to ją powstrzymało.

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

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

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

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

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

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

Barbara schuf eine neue Programmiersprache namens CLU.

Barbara stworzyła nowy język programowania o nazwie CLU.

CLU führte das Konzept der abstrakten Datentypen ein.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

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

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

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

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

Dann bemerkte Barbara ein weiteres Problem.

Potem Barbara dostrzegła kolejny problem.

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

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

Sie schrieb eine klare Regel, um dies zu verhindern.

Napisała jasną zasadę, aby temu zapobiec.

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

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

Zasada ta stała się znana jako zasada podstawienia Liskov.

Es wird heute noch in Informatikkursen gelehrt.

Jest wciąż nauczana na kursach informatyki.

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

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

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

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.