一行代码都不运行，为什么能证明程序“绝对没有Bug”？形式化验证与模型检测的科学
Tags
10 个页面
Software-Engineering
低代码/无代码开发的光与影
领域驱动设计（DDD）与通用语言
芭芭拉·利斯科夫：开创抽象数据类型与分布式系统的计算机科学家
Git 内部架构：从 commit、tree、blob 理解分布式版本控制
【敏捷宣言的背后】奠定现代软件开发基础的革命轨迹
Unix哲学（模块化设计的精髓）：单一职责与管道交织的软件艺术
开源革命与《大教堂与集市》：改变软件开发历史的范式转换
深度解析布鲁克斯法则：为什么向延期的项目增加人手犹如火上浇油
指引人类登月的代码：玛格丽特·汉密尔顿与阿波罗11号的软件工程
