Barbara Liskov i Zasady Które Utrzymuja Oprogramowanie Razem

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

Barbara Liskov creció amando las matemáticas y los acertijos.

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

Cuando fue a la universidad, muy pocas mujeres estudiaban informática.

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

Barbara no dejó que eso la detuviera.

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

Se convirtió en una de las primeras mujeres en Estados Unidos en obtener un doctorado en informática.

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

Después de sus estudios, vio un gran problema en la forma en que la gente escribía software.

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

Cada programador usaba estilos diferentes y nadie podía usar fácilmente el código de otra persona.

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

Barbara creó un nuevo lenguaje de programación llamado CLU.

CLU wprowadził koncepcję abstrakcyjnych typów danych.

CLU introdujo la idea de los tipos de datos abstractos.

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

Esto significaba que un programador podía ocultar los detalles complicados dentro de un fragmento de código y mostrar solo lo que otro código necesitaba ver.

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

Otros programadores podían ahora usar ese fragmento de código de forma segura, sin saber cómo funcionaba por dentro.

Potem Barbara dostrzegła kolejny problem.

Entonces Barbara notó otro problema.

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

Cuando los programadores reemplazaban una parte de un programa por una versión más nueva, el programa completo a veces se rompía.

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

Ella escribió una regla clara para evitar esto.

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

Su regla decía: si reemplazas una parte de un programa, la nueva parte debe comportarse en todos los sentidos como lo hacía la parte anterior.

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

Esta regla se conoció como el Principio de Sustitución de Liskov.

Jest wciąż nauczana na kursach informatyki.

Todavía se enseña en los cursos de informática hoy en día.

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

Barbara también construyó sistemas llamados Argus para explorar cómo el software podía seguir funcionando aunque las cosas salieran mal.

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

Muchos años después, recibió el Premio Turing, el mayor galardón en informática.

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

Sonrió tranquilamente, sabiendo que su verdadera recompensa estaba en el software confiable que la gente usaba todos los días.

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

Moraleja: Las reglas claras hacen que las cosas complejas sean confiables.