Barbara Liskov et les Règles Qui Maintiennent les Logiciels Ensemble

Barbara Liskov a grandi en aimant les mathématiques et les puzzles.

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

Quand elle est allée à l'université, très peu de femmes étudiaient l'informatique.

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

Barbara ne se laissa pas arrêter par cela.

Barbara não deixou que isso a parasse.

Elle est devenue l'une des premières femmes aux États-Unis à obtenir un doctorat en informatique.

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

Après ses études, elle vit un gros problème dans la façon dont les gens écrivaient des logiciels.

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

Chaque programmeur utilisait des styles différents et personne ne pouvait facilement utiliser le code d'une autre personne.

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

Barbara créa un nouveau langage de programmation appelé CLU.

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

CLU a introduit le concept des types de données abstraits.

CLU introduziu a ideia de tipos de dados abstratos.

Cela signifiait qu'un programmeur pouvait cacher les détails complexes dans un morceau de code et ne montrer que ce que le reste du code avait besoin de voir.

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.

D'autres programmeurs pouvaient désormais utiliser ce morceau de code en toute sécurité, sans savoir comment il fonctionnait à l'intérieur.

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

Barbara remarqua ensuite un autre problème.

Então Barbara percebeu outro problema.

Quand les programmeurs remplaçaient une partie d'un programme par une version plus récente, tout le programme se cassait parfois.

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

Elle écrivit une règle claire pour éviter cela.

Ela escreveu uma regra clara para evitar isso.

Sa règle stipulait : si vous remplacez une partie d'un programme, la nouvelle partie doit se comporter en tout point comme l'ancienne.

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.

Cette règle est devenue connue sous le nom de principe de substitution de Liskov.

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

Il est encore enseigné dans les cours d'informatique aujourd'hui.

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

Barbara a aussi créé des systèmes appelés Argus pour explorer comment les logiciels pouvaient continuer à fonctionner même quand les choses tournaient mal.

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

De nombreuses années plus tard, elle reçut le prix Turing, la plus haute récompense en informatique.

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

Elle sourit doucement, sachant que sa vraie récompense était dans le logiciel fiable que les gens utilisaient chaque jour.

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

Morale : Des règles claires rendent les choses complexes dignes de confiance.

Moral: Regras claras tornam coisas complexas confiáveis.