系统规格
Specifying systems
Leslie Lamport · 初版 2002 年
- 39次提及
- 18人推荐
- 24位 HN 评论者
为什么值得读
图灵奖得主亲撰的TLA+规范语言权威圣经
- 权威定义系统行为为状态序列并严密规范
- 在编码前借助形式化规范验证程序逻辑
- 工业界验证分布式算法时广泛参考
适合：需要设计复杂分布式算法与关键系统的软件工程师
值得读指数：79 / 100
Hacker News 读者推荐
对我来说，要解释软件行为，没有什么比 Leslie Lamport 在《Specifying Systems》中的描述更到位的了：> 形式上，我们将一种行为（behavior）定义为一个状态序列，其中状态是变量到值的映射赋值。我们通过指定一组可能出现的形式行为来规范一个系统——即……
amw-zero 在 HN 的推荐
如果你想学 TLA+，最好的资源是：(1) Leslie Lamport 的《Specifying Systems》（https://lamport.azurewebsites.net/tla/book.html）这是 TLA+ 的原版教材（我自己就是看它学会的），内容非常详尽，不过有时没能分清规格说明（specs）……
ahelwer 在 HN 的推荐
……以及在你开始规范自己的系统时的指南 [2]。它包含了大量可以动手的示例和项目。最后，如果你觉得自己评估过后值得深入研究，可以去读《Specifying Systems》，那是 TLA+ 的教科书和圣经 [3]。程序合成（Program Synthesis）领域有大量的研究，现在开始展现出喜人的成果。我想说的是，尽管这项研究已经进行了很长时间，但它依然……
agentultra 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 032114306X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。