Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem

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

Barbara Liskov è cresciuta amando la matematica e i puzzle.

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

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

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

Barbara non si lasciò fermare da questo.

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

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

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

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

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

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

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

Barbara creò un nuovo linguaggio di programmazione chiamato CLU.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

CLU introdusse il concetto di tipi di dati astratti.

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

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.

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

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

Potem Barbara dostrzegła kolejny problem.

Poi Barbara notò un altro problema.

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

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

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

Scrisse una regola chiara per evitarlo.

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

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

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

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

Jest wciąż nauczana na kursach informatyki.

Viene ancora insegnato nei corsi di informatica oggi.

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

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

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

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

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

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

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

Morale: Le regole chiare rendono le cose complesse affidabili.