Barbara Liskov e le Regole Che Tengono Unito il Software

Barbara Liskov è cresciuta amando la matematica e i puzzle.

Barbara Liskov dorastała, kochając matematykę i łamigłówki.

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

Kiedy poszła na uniwersytet, bardzo niewiele kobiet studiowało informatykę.

Barbara non si lasciò fermare da questo.

Barbara nie pozwoliła, by to ją powstrzymało.

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

Została jedną z pierwszych kobiet w Stanach Zjednoczonych, które uzyskały doktorat z informatyki.

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

Po studiach dostrzegła poważny problem w sposobie, w jaki ludzie pisali oprogramowanie.

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

Każdy programista używał innych stylów i nikt nie mógł łatwo używać kodu innej osoby.

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

Barbara stworzyła nowy język programowania o nazwie CLU.

CLU introdusse il concetto di tipi di dati astratti.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

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.

Oznaczało to, że programista mógł ukryć skomplikowane szczegóły wewnątrz fragmentu kodu i pokazywać tylko to, co inny kod musiał zobaczyć.

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

Inni programiści mogli teraz bezpiecznie używać tego fragmentu kodu, nie wiedząc, jak działał wewnątrz.

Poi Barbara notò un altro problema.

Potem Barbara dostrzegła kolejny problem.

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

Kiedy programiści zastępowali część programu nowszą wersją, cały program czasem się psuł.

Scrisse una regola chiara per evitarlo.

Napisała jasną zasadę, aby temu zapobiec.

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

Jej zasada brzmiała: jeśli zastępujesz część programu, nowa część musi zachowywać się tak samo jak stara.

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

Zasada ta stała się znana jako zasada podstawienia Liskov.

Viene ancora insegnato nei corsi di informatica oggi.

Jest wciąż nauczana na kursach informatyki.

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

Barbara zbudowała też systemy o nazwie Argus, aby zbadać, jak oprogramowanie może działać nawet gdy coś idzie nie tak.

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

Wiele lat później otrzymała Nagrodę Turinga, najważniejszą nagrodę w informatyce.

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

Uśmiechnęła się cicho, wiedząc, że jej prawdziwą nagrodą było niezawodne oprogramowanie, z którego ludzie korzystali każdego dnia.

Morale: Le regole chiare rendono le cose complesse affidabili.

Morał: Jasne zasady sprawiają, że złożone rzeczy stają się godne zaufania.