Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

Barbara Liskov wuchs mit einer Leidenschaft für Mathematik und Rätsel auf.

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

Als sie die Universität besuchte, studierten nur sehr wenige Frauen Informatik.

Barbara non si lasciò fermare da questo.

Barbara ließ sich davon nicht aufhalten.

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

Sie wurde eine der ersten Frauen in den Vereinigten Staaten, die einen Doktortitel in Informatik erwarb.

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

Nach ihrem Studium erkannte sie ein großes Problem in der Art und Weise, wie Menschen Software schrieben.

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

Jeder Programmierer verwendete andere Stile, und niemand konnte den Code einer anderen Person leicht benutzen.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

Barbara schuf eine neue Programmiersprache namens CLU.

CLU introdusse il concetto di tipi di dati astratti.

CLU führte das Konzept der abstrakten Datentypen ein.

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.

Das bedeutete, dass ein Programmierer die unordentlichen Details in einem Codestück verbergen und nur das zeigen konnte, was anderer Code sehen musste.

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

Andere Programmierer konnten dieses Codestück nun sicher verwenden, ohne zu wissen, wie es innen funktionierte.

Poi Barbara notò un altro problema.

Dann bemerkte Barbara ein weiteres Problem.

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

Wenn Programmierer einen Teil eines Programms durch eine neuere Version ersetzten, brach das gesamte Programm manchmal zusammen.

Scrisse una regola chiara per evitarlo.

Sie schrieb eine klare Regel, um dies zu verhindern.

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

Ihre Regel lautete: Wenn du einen Teil eines Programms ersetzt, muss sich der neue Teil in jeder Hinsicht so verhalten wie der alte.

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

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

Viene ancora insegnato nei corsi di informatica oggi.

Es wird heute noch in Informatikkursen gelehrt.

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

Barbara baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.

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

Viele Jahre später erhielt sie den Turing-Preis, den höchsten Preis in der Informatik.

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

Sie lächelte ruhig, wissend, dass ihre wahre Belohnung in der zuverlässigen Software lag, die die Menschen täglich nutzten.

Morale: Le regole chiare rendono le cose complesse affidabili.

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.