Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

Quando andò all'università, pochissime donne studiavano informatica.

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

Barbara non si lasciò fermare da questo.

Barbara não deixou que isso a parasse.

È diventata una delle prime donne negli Stati Uniti a conseguire un dottorato in informatica.

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

Dopo i suoi studi, vide un grande problema nel modo in cui le persone scrivevano software.

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

Ogni programmatore usava stili diversi e nessuno poteva facilmente usare il codice di un'altra persona.

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

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

CLU introdusse il concetto di tipi di dati astratti.

CLU introduziu a ideia de tipos de dados abstratos.

Ciò significava che un programmatore poteva nascondere i dettagli disordinati all'interno di un pezzo di codice e mostrare solo ciò che il resto del codice doveva vedere.

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.

Altri programmatori potevano ora usare quel pezzo di codice in modo sicuro, senza sapere come funzionava al suo interno.

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

Poi Barbara notò un altro problema.

Então Barbara percebeu outro problema.

Quando i programmatori sostituivano una parte di un programma con una versione più recente, l'intero programma a volte si rompeva.

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

Scrisse una regola chiara per evitarlo.

Ela escreveu uma regra clara para evitar isso.

La sua regola diceva: se sostituisci una parte di un programma, la nuova parte deve comportarsi in ogni modo come si comportava quella vecchia.

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.

Questa regola divenne nota come il Principio di Sostituzione di Liskov.

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

Viene ancora insegnato nei corsi di informatica oggi.

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

Barbara costruì anche sistemi chiamati Argus per esplorare come il software potesse continuare a funzionare anche quando le cose andavano storte.

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

Molti anni dopo, ricevette il Premio Turing, il massimo riconoscimento in informatica.

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

Sorrise in silenzio, sapendo che la sua vera ricompensa era nel software affidabile che le persone usavano ogni giorno.

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

Morale: Le regole chiare rendono le cose complesse affidabili.

Moral: Regras claras tornam coisas complexas confiáveis.