Barbara Liskov en de Regels Die Software Samenhouden

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

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

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

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

Barbara liet dat haar niet tegenhouden.

Barbara não deixou que isso a parasse.

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

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

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

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

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

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

Barbara maakte een nieuwe programmeertaal genaamd CLU.

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

CLU introduceerde het idee van abstracte gegevenstypen.

CLU introduziu a ideia de tipos de dados abstratos.

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

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 programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.

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

Toen merkte Barbara een ander probleem op.

Então Barbara percebeu outro problema.

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

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

Ze schreef een duidelijke regel om dit te voorkomen.

Ela escreveu uma regra clara para evitar isso.

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

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.

Deze regel werd bekend als het Liskov-substitutieprincipe.

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

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

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

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

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

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

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

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

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

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.

Moral: Regras claras tornam coisas complexas confiáveis.