用可证明正确的构件进行系统设计
System design from provably correct constructs
James Martin · 初版 1984 年
- 18次提及
- 2人推荐
- 3位 HN 评论者
Hacker News 读者推荐
……https://users.ece.cmu.edu/~koopman/pubs/koopman14_toyota_ua_... [2] 几乎没人注意到。我知道这听起来很疯狂，但确实是真的：有一种简单易行的方法可以开发出无 bug 的软件。James Martin 在 1985 年的书《基于可证明正确构造的系统设计：真正软件工程的开端》（System design from provably correct constructs: the beginnings of true software engineering）中对此进行了阐述。如果有人想了解，这大概是最好的资料来源。[3] 一个使用语言或框架 A 的程序员，如果不能或不愿去学习语言……
carapace 在 HN 的推荐
……最早创造了“软件工程”（Software Engineering）这个术语。我现在不细说了，一句话：如果你还在文本编辑器里敲纯文本来写代码，那你就做错了。有一本书叫 James Martin 写的《基于可证明正确构造的系统设计》（System Design from Provably-Correct Constructs），如果你感兴趣的话，它介绍了 Hamilton 的方法。> 原文的核心观点是，如今唯一能让飞机保持在空中飞行的，只有容错和大量的……
carapace 在 HN 的推荐
……他的出发点，但我认为“他根本没搞懂”。他没抓到重点（或者可能 HOS 跟 Martin 后来书里描述的相比确实太烂了……）---- 供参考，James Martin 后来写了《基于可证明正确构造的系统设计：真正软件工程的开端》（System Design from Provably Correct Constructs: The Beginnings of True Software Engineering），我就是从那本书里了解到这一切的。我其实对 HOS 本身了解不多，只知道书里的内容。如果你感兴趣，那本书正是……
carapace 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1107656842
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。