diff options
Diffstat (limited to 'parnas-a-rational-design-process.rst')
| -rw-r--r-- | parnas-a-rational-design-process.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst index 1a5d147..4bcea1e 100644 --- a/parnas-a-rational-design-process.rst +++ b/parnas-a-rational-design-process.rst @@ -541,7 +541,7 @@ VII. 现在， 我们如何假装理想的过程？ 如果我们发现错误，就会更改错误，并在后续文件中做相应的更改。 我们将文档作为设计的媒介，并且，在将设计决定加入文档获得所有层面的批准之前，我们不认为已经做出了任何设计决定。不管中途我们如何磕磕绊绊，最终的文档都会更容易理解并且准确。 我们不展示事情的实际发生过程，我们展示我们希望事情发生的过程，以及事情本身。 -即使是数学，许多人认为最理性的学科，也遵循上述过程。数学家们勤勉地润色他们的证明，通常展示一个与他们最初发现的证明很不一样的证明。第一个证明通常是痛苦的发现过程的结果。当数学家们致力于证明时，理解加深，证明简化。最终，某一位数学家找到了一个更简单的证明，使定理的真理性更明显。更简单的证明出版了，因为读者对定理的真理性感兴趣，而非发现的过程。 +即使是数学，许多人认为最理性的学科，也遵循上述过程。数学家们勤勉地改进他们的证明，通常展示一个与他们最初发现的证明很不一样的证明。第一个证明通常是痛苦的发现过程的结果。当数学家们致力于证明时，理解加深，证明简化。最终，某一位数学家找到了一个更简单的证明，使定理的真理性更明显。更简单的证明出版了，因为读者对定理的真理性感兴趣，而非发现的过程。 我们相信类似的推理同样适用于软件。阅读软件文档的人们想要理解这个程序，而不是再现程序的发现过程。我们提供他们需要的合理化的文档。 |