Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.

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

Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.

Barbara non si lasciò fermare da questo.

Barbara liet dat haar niet tegenhouden.

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

Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.

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

Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.

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

Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

Barbara maakte een nieuwe programmeertaal genaamd CLU.

CLU introdusse il concetto di tipi di dati astratti.

CLU introduceerde het idee van abstracte gegevenstypen.

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.

Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.

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

Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.

Poi Barbara notò un altro problema.

Toen merkte Barbara een ander probleem op.

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

Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.

Scrisse una regola chiara per evitarlo.

Ze schreef een duidelijke regel om dit te voorkomen.

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

Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.

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

Deze regel werd bekend als het Liskov-substitutieprincipe.

Viene ancora insegnato nei corsi di informatica oggi.

Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.

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

Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.

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

Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.

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

Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.

Morale: Le regole chiare rendono le cose complesse affidabili.

Moraal: Duidelijke regels maken complexe dingen betrouwbaar.