Why Can We Prove a Program Is 100% Bug-Free Without Running It Even Once? The Science of Formal Verification and Model Checking
Tags
11 pages
Software-Engineering
How Random Inputs Uncover Catastrophic Bugs: The Science and Engineering of Coverage-Guided Fuzzing
The Light and Shadow of Low-Code/No-Code Development
Domain-Driven Design (DDD) and Ubiquitous Language
Barbara Liskov: The Computer Scientist Who Built Abstract Data Types and Distributed Systems
Git Internal Architecture: Understanding Distributed Version Control through commit, tree, and blob
[Behind the Agile Manifesto] The Trajectory of a Revolution that Laid the Foundation for Modern Software Development
![[Behind the Agile Manifesto] The Trajectory of a Revolution that Laid the Foundation for Modern Software Development](/p/philosophy-agile-manifesto/eyecatch_hu10621969115827590376.jpg)
A Deep Dive into Brooks's Law: Why Adding Manpower to a Late Project Adds Fuel to the Fire
The Code That Led Humanity to the Moon: Margaret Hamilton and the Software Engineering of Apollo 11
The Open Source Revolution and "The Cathedral and the Bazaar": A Paradigm Shift That Changed the History of Software Development
Unix Philosophy (The Essence of Modular Design): The Art of Software Woven by Single Responsibility and Pipes
