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 è cresciuta amando la matematica e i puzzle.

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

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

Barbara ne se laissa pas arrêter par cela.

Barbara non si lasciò fermare da questo.

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

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

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

CLU introdusse il concetto di tipi di dati astratti.

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.

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.

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

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

Barbara remarqua ensuite un autre problème.

Poi Barbara notò un altro problema.

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

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

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

Scrisse una regola chiara per evitarlo.

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

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

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

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

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

Viene ancora insegnato nei corsi di informatica oggi.

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 costruì anche sistemi chiamati Argus per esplorare come il software potesse continuare a funzionare anche quando le cose andavano storte.

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

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

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

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

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

Morale: Le regole chiare rendono le cose complesse affidabili.