Warum lässt sich mathematisch beweisen, dass ein Programm 100 % fehlerfrei ist – ohne es ein einziges Mal auszuführen? Die Wissenschaft der formalen Verifikation
Tags
10 Seiten
Software-Engineering
Licht und Schatten der Low-Code/No-Code-Entwicklung
Domain-Driven Design (DDD) und die Ubiquitous Language
Barbara Liskov: Die Informatikerin, die abstrakte Datentypen und verteilte Systeme entwickelte
Die interne Architektur von Git: Verteilte Versionskontrolle durch commit, tree und blob verstehen
[Hinter den Kulissen des Agilen Manifests] Die Geschichte einer Revolution, die den Grundstein der modernen Softwareentwicklung legte
![[Hinter den Kulissen des Agilen Manifests] Die Geschichte einer Revolution, die den Grundstein der modernen Softwareentwicklung legte](/p/philosophy-agile-manifesto/eyecatch_hu10621969115827590376.jpg)
Brooks' Gesetz umfassend analysiert: Warum das Hinzufügen von Personal zu einem verspäteten Projekt Öl ins Feuer gießt
Der Code, der die Menschheit zum Mond führte: Margaret Hamilton und die Softwareentwicklung von Apollo 11
Die Open-Source-Revolution und "Die Kathedrale und der Basar": Der Paradigmenwechsel, der die Geschichte der Softwareentwicklung veränderte
Unix-Philosophie (Die Essenz des modularen Designs): Die Kunst der Software, gewoben aus Single Responsibility und Pipes
