Барбара Ліськов і Правила, Які Тримають Програмне Забезпечення Разом
Barbara Liskov und die Regeln, Die Software Zusammenhalten
Барбара Ліськов була піонером CLU та абстрактних типів даних, а потім сформулювала принцип підстановки Ліськов, правило, яке досі викладається на кожному курсі з інформатики.
Барбара Ліськов виросла із любов'ю до математики та головоломок.
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.
Барбара створила нову мову програмування під назвою CLU.
Barbara schuf eine neue Programmiersprache namens CLU.
CLU запровадила концепцію абстрактних типів даних.
CLU führte das Konzept der abstrakten Datentypen ein.
Це означало, що програміст міг приховати заплутані деталі всередині фрагмента коду і показувати лише те, що потрібно бачити іншому коду.
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.
Барбара також створила системи під назвою Argus, щоб дослідити, як програмне забезпечення може продовжувати працювати навіть коли щось йде не так.
Barbara baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.
Багато років потому вона отримала премію Тюрінга, найвищу нагороду в галузі інформатики.
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.