Barbara Liskov en de Regels Die Software Samenhouden
Barbara Liskov e le Regole Che Tengono Unito il Software
Barbara Liskov was een pionier met CLU en abstracte gegevenstypen en formuleerde het Liskov-substitutieprincipe, een regel die vandaag de dag nog in elke informaticacursus wordt onderwezen.
Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.
Barbara Liskov è cresciuta amando la matematica e i puzzle.
Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.
Quando andò all'università, pochissime donne studiavano informatica.
Barbara liet dat haar niet tegenhouden.
Barbara non si lasciò fermare da questo.
Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.
È diventata una delle prime donne negli Stati Uniti a conseguire un dottorato in informatica.
Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.
Dopo i suoi studi, vide un grande problema nel modo in cui le persone scrivevano software.
Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.
Ogni programmatore usava stili diversi e nessuno poteva facilmente usare il codice di un'altra persona.
Barbara maakte een nieuwe programmeertaal genaamd CLU.
Barbara creò un nuovo linguaggio di programmazione chiamato CLU.
CLU introduceerde het idee van abstracte gegevenstypen.
CLU introdusse il concetto di tipi di dati astratti.
Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.
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.
Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.
Altri programmatori potevano ora usare quel pezzo di codice in modo sicuro, senza sapere come funzionava al suo interno.
Toen merkte Barbara een ander probleem op.
Poi Barbara notò un altro problema.
Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.
Quando i programmatori sostituivano una parte di un programma con una versione più recente, l'intero programma a volte si rompeva.
Ze schreef een duidelijke regel om dit te voorkomen.
Scrisse una regola chiara per evitarlo.
Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.
La sua regola diceva: se sostituisci una parte di un programma, la nuova parte deve comportarsi in ogni modo come si comportava quella vecchia.
Deze regel werd bekend als het Liskov-substitutieprincipe.
Questa regola divenne nota come il Principio di Sostituzione di Liskov.
Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.
Viene ancora insegnato nei corsi di informatica oggi.
Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.
Barbara costruì anche sistemi chiamati Argus per esplorare come il software potesse continuare a funzionare anche quando le cose andavano storte.
Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.
Molti anni dopo, ricevette il Premio Turing, il massimo riconoscimento in informatica.
Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.
Sorrise in silenzio, sapendo che la sua vera ricompensa era nel software affidabile che le persone usavano ogni giorno.
Moraal: Duidelijke regels maken complexe dingen betrouwbaar.
Morale: Le regole chiare rendono le cose complesse affidabili.