……用户验收是挺常见也挺推荐的做法。选一种不适合用在生产环境的原型语言 ;) 这样原型就绝不可能“不小心”被直接当成生产软件来用了。可以考虑读读 Allan M. Stavely 写的《Toward Zero-Defect Programming》（第 1 版）。
…user acceptance is quite common and recommended. Pick a prototyping language unsuitable for production ;) That way prototypes can't "accidentally" be turned into production software. Consider reading "Toward Zero-Defect Programming" (1st Edition) by Allan M. Stavely.
…concrete examples I like that you're all doing that. That does help a lot. I plan to do my part to some degree in the near-ish future: I bought the High-Integrity Applications book for SPARK and Stavely's Toward Zero-Defect Programming for Cleanroom. http://infohost.nmt.edu/~al/cseet-paper.html SPARK book looks well-written but kind of packed with info esp on the language. Might take some time for me to learn. The Cleanroom book is…
…experienced such a nice development process. Nowadays I have to consult five coworkers to ask how to call their undocumented methods and initialize the classes. I have recently encountered the book 'Toward Zero-defect Programming', where exactly this approach is recommended. Key points are (from the top of my head): 1. You should know the programming language you're using inside-out. 2. Don't *try* your code, but *reason*…
……用户验收是挺常见也挺推荐的做法。选一种不适合用在生产环境的原型语言 ;) 这样原型就绝不可能“不小心”被直接当成生产软件来用了。可以考虑读读 Allan M. Stavely 写的《Toward Zero-Defect Programming》（第 1 版）。
…user acceptance is quite common and recommended. Pick a prototyping language unsuitable for production ;) That way prototypes can't "accidentally" be turned into production software. Consider reading "Toward Zero-Defect Programming" (1st Edition) by Allan M. Stavely.
……具体的例子。很高兴看到你们都在做这件事。这确实帮了大忙。在不久的将来我也打算出一份力：我买了讲 SPARK 的《High-Integrity Applications》，以及讲 Cleanroom 的 Stavely 写的《Toward Zero-Defect Programming》。http://infohost.nmt.edu/~al/cseet-paper.html SPARK 那本书看起来写得很好，但干货满满，尤其是关于语言的部分。我可能得花点时间学。而 Cleanroom 那本书是……
…concrete examples I like that you're all doing that. That does help a lot. I plan to do my part to some degree in the near-ish future: I bought the High-Integrity Applications book for SPARK and Stavely's Toward Zero-Defect Programming for Cleanroom. http://infohost.nmt.edu/~al/cseet-paper.html SPARK book looks well-written but kind of packed with info esp on the language. Might take some time for me to learn. The Cleanroom book is…
……经历过那么好的开发流程。如今我得去请教五个同事，问他们那些毫无文档的方法该怎么调用、类该怎么初始化。我最近看到了《Toward Zero-defect Programming》这本书，里面推荐的正是这种做法。核心要点（凭记忆来说）有：1. 你必须彻底吃透你所使用的编程语言。2. 不要去“试”代码，而是要去“推导”……
…experienced such a nice development process. Nowadays I have to consult five coworkers to ask how to call their undocumented methods and initialize the classes. I have recently encountered the book 'Toward Zero-defect Programming', where exactly this approach is recommended. Key points are (from the top of my head): 1. You should know the programming language you're using inside-out. 2. Don't *try* your code, but *reason*…