Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem

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

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

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

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

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

Barbara ließ sich davon nicht aufhalten.

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

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

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

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

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

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

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

Barbara schuf eine neue Programmiersprache namens CLU.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

CLU führte das Konzept der abstrakten Datentypen ein.

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

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

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

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

Potem Barbara dostrzegła kolejny problem.

Dann bemerkte Barbara ein weiteres Problem.

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

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

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

Sie schrieb eine klare Regel, um dies zu verhindern.

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

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

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

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

Jest wciąż nauczana na kursach informatyki.

Es wird heute noch in Informatikkursen gelehrt.

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

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

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

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

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

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

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

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.