Barbara Liskov e as Regras Que Mantêm o Software Unido

Barbara Liskov cresceu amando matemática e quebra-cabeças.

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

Quando foi para a universidade, muito poucas mulheres estudavam ciência da computação.

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

Barbara não deixou que isso a parasse.

Barbara ließ sich davon nicht aufhalten.

Ela se tornou uma das primeiras mulheres nos Estados Unidos a obter um doutorado em ciência da computação.

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

Após seus estudos, ela viu um grande problema na forma como as pessoas escreviam software.

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

Cada programador usava estilos diferentes e ninguém conseguia usar facilmente o código de outra pessoa.

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

Barbara criou uma nova linguagem de programação chamada CLU.

Barbara schuf eine neue Programmiersprache namens CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU führte das Konzept der abstrakten Datentypen ein.

Isso significava que um programador poderia ocultar os detalhes confusos dentro de um trecho de código e mostrar apenas o que outro código precisava ver.

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

Outros programadores podiam agora usar aquele trecho de código com segurança, sem saber como funcionava por dentro.

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

Então Barbara percebeu outro problema.

Dann bemerkte Barbara ein weiteres Problem.

Quando os programadores substituíam uma parte de um programa por uma versão mais nova, o programa inteiro às vezes quebrava.

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

Ela escreveu uma regra clara para evitar isso.

Sie schrieb eine klare Regel, um dies zu verhindern.

Sua regra dizia: se você substituir uma parte de um programa, a nova parte deve se comportar em todos os aspectos como a parte antiga fazia.

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

Esta regra ficou conhecida como o Princípio de Substituição de Liskov.

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

Ainda é ensinado em cursos de ciência da computação hoje.

Es wird heute noch in Informatikkursen gelehrt.

Barbara também construiu sistemas chamados Argus para explorar como o software poderia continuar funcionando mesmo quando as coisas dessem errado.

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

Muitos anos depois, ela recebeu o Prêmio Turing, o maior prêmio em ciência da computação.

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

Ela sorriu quietamente, sabendo que sua verdadeira recompensa estava no software confiável que as pessoas usavam todos os dias.

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

Moral: Regras claras tornam coisas complexas confiáveis.

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.