Barbara Liskov und die Regeln, Die Software Zusammenhalten

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

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

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

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

Barbara ließ sich davon nicht aufhalten.

Barbara não deixou que isso a parasse.

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

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

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

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

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

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

Barbara schuf eine neue Programmiersprache namens CLU.

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

CLU führte das Konzept der abstrakten Datentypen ein.

CLU introduziu a ideia de tipos de dados abstratos.

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

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.

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

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

Dann bemerkte Barbara ein weiteres Problem.

Então Barbara percebeu outro problema.

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

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

Sie schrieb eine klare Regel, um dies zu verhindern.

Ela escreveu uma regra clara para evitar isso.

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

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.

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

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

Es wird heute noch in Informatikkursen gelehrt.

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

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

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

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

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

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

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

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.

Moral: Regras claras tornam coisas complexas confiáveis.