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

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

Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.

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

Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.

Barbara não deixou que isso a parasse.

Barbara liet dat haar niet tegenhouden.

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

Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.

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

Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.

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

Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.

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

Barbara maakte een nieuwe programmeertaal genaamd CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU introduceerde het idee van abstracte gegevenstypen.

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.

Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.

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

Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.

Então Barbara percebeu outro problema.

Toen merkte Barbara een ander probleem op.

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

Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.

Ela escreveu uma regra clara para evitar isso.

Ze schreef een duidelijke regel om dit te voorkomen.

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.

Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.

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

Deze regel werd bekend als het Liskov-substitutieprincipe.

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

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

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

Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.

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

Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.

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

Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.

Moral: Regras claras tornam coisas complexas confiáveis.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.