summaryrefslogtreecommitdiff
path: root/parnas-a-rational-design-process.rst
diff options
context:
space:
mode:
Diffstat (limited to 'parnas-a-rational-design-process.rst')
-rw-r--r--parnas-a-rational-design-process.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst
index 6dfafd1..c509487 100644
--- a/parnas-a-rational-design-process.rst
+++ b/parnas-a-rational-design-process.rst
@@ -82,7 +82,7 @@ Page 1
软件工程师一直在寻找理想的软件开发过程: 在此过程中,程序从软件规格说
-明中派生,就像引理与定理从已发表的公理中派生出来那样。在解释了为何我们
+明中派生,就像引理与定理从已发表的公理中派生那样。在解释了为何我们
永远无法做到这一点后,本文描述了这样的一个过程。这个过程由应该在软件开
发中产生的一系列文档来描述。 这些文档能服务几个目的:作为初步设计评审
的基础,作为编程的参考资料,指导程序员的维护工作。我们讨论用与指导软件