Barbara Liskov en de Regels Die Software Samenhouden
Barbara Liskov und die Regeln, Die Software Zusammenhalten
Barbara Liskov was een pionier met CLU en abstracte gegevenstypen en formuleerde het Liskov-substitutieprincipe, een regel die vandaag de dag nog in elke informaticacursus wordt onderwezen.
Barbara Liskov groeide op met een liefde voor wiskunde en puzzels.
Barbara Liskov wuchs mit einer Leidenschaft für Mathematik und Rätsel auf.
Toen ze naar de universiteit ging, studeerden maar heel weinig vrouwen informatica.
Als sie die Universität besuchte, studierten nur sehr wenige Frauen Informatik.
Barbara liet dat haar niet tegenhouden.
Barbara ließ sich davon nicht aufhalten.
Ze werd een van de eerste vrouwen in de Verenigde Staten die een doctoraat in de informatica behaalde.
Sie wurde eine der ersten Frauen in den Vereinigten Staaten, die einen Doktortitel in Informatik erwarb.
Na haar studie zag ze een groot probleem in de manier waarop mensen software schreven.
Nach ihrem Studium erkannte sie ein großes Problem in der Art und Weise, wie Menschen Software schrieben.
Elke programmeur gebruikte andere stijlen en niemand kon de code van een ander gemakkelijk gebruiken.
Jeder Programmierer verwendete andere Stile, und niemand konnte den Code einer anderen Person leicht benutzen.
Barbara maakte een nieuwe programmeertaal genaamd CLU.
Barbara schuf eine neue Programmiersprache namens CLU.
CLU introduceerde het idee van abstracte gegevenstypen.
CLU führte das Konzept der abstrakten Datentypen ein.
Dit betekende dat een programmeur de rommelige details in een stuk code kon verbergen en alleen kon tonen wat andere code hoefde te zien.
Das bedeutete, dass ein Programmierer die unordentlichen Details in einem Codestück verbergen und nur das zeigen konnte, was anderer Code sehen musste.
Andere programmeurs konden dat stuk code nu veilig gebruiken, zonder te weten hoe het van binnen werkte.
Andere Programmierer konnten dieses Codestück nun sicher verwenden, ohne zu wissen, wie es innen funktionierte.
Toen merkte Barbara een ander probleem op.
Dann bemerkte Barbara ein weiteres Problem.
Wanneer programmeurs een onderdeel van een programma vervingen door een nieuwere versie, brak het hele programma soms.
Wenn Programmierer einen Teil eines Programms durch eine neuere Version ersetzten, brach das gesamte Programm manchmal zusammen.
Ze schreef een duidelijke regel om dit te voorkomen.
Sie schrieb eine klare Regel, um dies zu verhindern.
Haar regel luidde: als je een deel van een programma vervangt, moet het nieuwe deel zich op alle manieren gedragen zoals het oude deel.
Ihre Regel lautete: Wenn du einen Teil eines Programms ersetzt, muss sich der neue Teil in jeder Hinsicht so verhalten wie der alte.
Deze regel werd bekend als het Liskov-substitutieprincipe.
Diese Regel wurde als das Liskov-Substitutionsprinzip bekannt.
Het wordt vandaag de dag nog steeds onderwezen in informaticacursussen.
Es wird heute noch in Informatikkursen gelehrt.
Barbara bouwde ook systemen genaamd Argus om te onderzoeken hoe software kon blijven draaien, zelfs als er iets misging.
Barbara baute auch Systeme namens Argus, um zu erforschen, wie Software weiterarbeiten kann, selbst wenn Dinge schiefgehen.
Vele jaren later ontving ze de Turing Award, de hoogste prijs in de informatica.
Viele Jahre später erhielt sie den Turing-Preis, den höchsten Preis in der Informatik.
Ze glimlachte rustig, wetend dat haar echte beloning lag in de betrouwbare software die mensen elke dag gebruikten.
Sie lächelte ruhig, wissend, dass ihre wahre Belohnung in der zuverlässigen Software lag, die die Menschen täglich nutzten.
Moraal: Duidelijke regels maken complexe dingen betrouwbaar.
Moral: Klare Regeln machen komplexe Dinge vertrauenswürdig.