Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

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

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

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

Barbara nie pozwoliła, by to ją powstrzymało.

Barbara não deixou que isso a parasse.

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

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

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

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

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

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

Barbara stworzyła nowy język programowania o nazwie CLU.

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

CLU wprowadził koncepcję abstrakcyjnych typów danych.

CLU introduziu a ideia de tipos de dados abstratos.

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

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.

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

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

Potem Barbara dostrzegła kolejny problem.

Então Barbara percebeu outro problema.

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

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

Napisała jasną zasadę, aby temu zapobiec.

Ela escreveu uma regra clara para evitar isso.

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

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.

Zasada ta stała się znana jako zasada podstawienia Liskov.

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

Jest wciąż nauczana na kursach informatyki.

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

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

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

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

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

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.

Moral: Regras claras tornam coisas complexas confiáveis.