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

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

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

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

Barbara não deixou que isso a parasse.

Barbara non si lasciò fermare da questo.

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

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

CLU introduziu a ideia de tipos de dados abstratos.

CLU introdusse il concetto di tipi di dati astratti.

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.

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.

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

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

Então Barbara percebeu outro problema.

Poi Barbara notò un altro problema.

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

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

Ela escreveu uma regra clara para evitar isso.

Scrisse una regola chiara per evitarlo.

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.

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

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

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

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

Viene ancora insegnato nei corsi di informatica oggi.

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

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

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

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

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

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

Moral: Regras claras tornam coisas complexas confiáveis.

Morale: Le regole chiare rendono le cose complesse affidabili.