Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

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

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

Barbara non si lasciò fermare da questo.

Barbara ne se laissa pas arrêter par cela.

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

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

CLU introdusse il concetto di tipi di dati astratti.

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

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.

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.

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

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

Poi Barbara notò un altro problema.

Barbara remarqua ensuite un autre problème.

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

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

Scrisse una regola chiara per evitarlo.

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

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

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

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

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

Viene ancora insegnato nei corsi di informatica oggi.

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

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

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.

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

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

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

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

Morale: Le regole chiare rendono le cose complesse affidabili.

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