Barbara Liskov und die Regeln, Die Software Zusammenhalten

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

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

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

Barbara ließ sich davon nicht aufhalten.

Barbara non si lasciò fermare da questo.

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

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

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

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

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

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

Barbara schuf eine neue Programmiersprache namens CLU.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

CLU führte das Konzept der abstrakten Datentypen ein.

CLU introdusse il concetto di tipi di dati astratti.

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

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 Programmierer konnten dieses Codestück nun sicher verwenden, ohne zu wissen, wie es innen funktionierte.

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

Dann bemerkte Barbara ein weiteres Problem.

Poi Barbara notò un altro problema.

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

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

Sie schrieb eine klare Regel, um dies zu verhindern.

Scrisse una regola chiara per evitarlo.

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

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

Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.

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

Es wird heute noch in Informatikkursen gelehrt.

Viene ancora insegnato nei corsi di informatica oggi.

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

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

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

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

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

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

Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.

Morale: Le regole chiare rendono le cose complesse affidabili.