净室软件工程
Cleanroom software engineering
Stacy J. Prowell, Carmen J. Trammell, Richard C. Linger, Jesse H. Poore · 初版 1999 年
- 8次提及
- 2人推荐
- 4位 HN 评论者
Hacker News 读者推荐
这玩意儿超出我的知识范围了，我说的对你来说可能是显而易见的废话，或者在 Haskell 里根本没用，但看你没明确提过，还是说一句：http://en.wikipedia.org/wiki/Cleanroom_Software_Engineering http://www.amazon.com/Cleanroom-Software-Engineering-Technol...
KevinMS 在 HN 的推荐
……C 语言，好利用它的形式化验证工具。他们之所以频频被这些漏洞砸中，是因为他们用了一种更难分析的语言，外加某种徒增难度的编码策略。想看低缺陷率的开发策略，可以去了解下 Cleanroom Software Engineering 或者 Praxis 的 Correct-by-Construction。
nickpsecurity 在 HN 的推荐
……通宵跑测试工具，这样你既能享受到工具的好处，又不用干瞪着屏幕。https://github.com/SoftSec-KAIST/Eclipser 另一个你可能会喜欢的轻量级形式化方法是 Cleanroom Software Engineering。它是最早把写软件搞得真正像做工程一样的方法之一。Stavely 的引言写得很棒。他的书也很好，其中讲半形式化验证的那一章既容易上手、ROI 又高……
nickpsecurity 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0201854805
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。