Barbara Liskov und die Regeln, Die Software Zusammenhalten

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

Барбара Ліськов виросла із любов'ю до математики та головоломок.

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

Коли вона вступила до університету, дуже мало жінок вивчали інформатику.

Barbara ließ sich davon nicht aufhalten.

Барбара не дозволила цьому зупинити її.

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

Вона стала однією з перших жінок у США, яка здобула ступінь доктора наук з інформатики.

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

Після навчання вона помітила велику проблему в тому, як люди пишуть програмне забезпечення.

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

Кожен програміст використовував різні стилі, і ніхто не міг легко використовувати чужий код.

Barbara schuf eine neue Programmiersprache namens CLU.

Барбара створила нову мову програмування під назвою CLU.

CLU führte das Konzept der abstrakten Datentypen ein.

CLU запровадила концепцію абстрактних типів даних.

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

Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.

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

Інші програмісти тепер могли безпечно використовувати цей фрагмент коду, не знаючи, як він працює зсередини.

Dann bemerkte Barbara ein weiteres Problem.

Потім Барбара помітила ще одну проблему.

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

Коли програмісти замінювали частину програми новішою версією, весь програма іноді ламалася.

Sie schrieb eine klare Regel, um dies zu verhindern.

Вона написала чітке правило, щоб запобігти цьому.

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

Її правило говорило: якщо ви замінюєте одну частину програми, нова частина повинна поводитися так само, як стара.

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

Це правило стало відомим як принцип підстановки Ліськов.

Es wird heute noch in Informatikkursen gelehrt.

Він досі викладається на курсах з інформатики.

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

Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.

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

Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.

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

Вона тихо посміхнулася, знаючи, що її справжньою нагородою є надійне програмне забезпечення, яким люди користуються щодня.

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.

Мораль: Чіткі правила роблять складні речі надійними.