一行程式碼都不執行，為什麼能證明程式「絕對沒有Bug」？形式化驗證與模型檢測的科學
Tags
第 10 頁
Software-Engineering
低程式碼/無程式碼開發的光與影
領域驅動設計（DDD）與通用語言
芭芭拉·利斯科夫：奠定抽象資料型別與分散式系統的計算機科學家
Git 內部架構：從 commit、tree、blob 理解分散式版本控制
【敏捷宣言的背後】奠定現代軟體開發基礎的革命軌跡
Unix哲學（模組化設計的精髓）：單一職責與管道交織的軟體藝術
引領人類登月的程式碼：瑪格麗特·漢密爾頓與阿波羅11號的軟體工程
開源革命與「大教堂與市集」：改變軟體開發歷史的典範轉移
徹底解剖布魯克斯法則：為什麼對延遲的專案增加人力只會火上加油
