关于这个话题，我似乎说过好多次了。软件系统其实就是现实系统的抽象，就是现实系统的模型。最近，看到一个论点，是这样说的：软件建模（架构）的过程其实就是一个定理证明的过程。我得说，在我看来，这有一定的真理性。但是事实有一定的差异。基本原因是：我们碰到问题的时候，并不总是对问题的解决方案一无所知的，或者更确切的说，对问题的解决方案几乎总是有一定的了解得。这时候，证明的过程其实并不是很明显，反而是表达的过程成了重头戏。
这儿，我在阐述一遍我的观点，软件就是模型，就是抽象。基于上面的描述，软件开发过程也就是构思模型和表达模型的过程。由于表达和构思互相影响，密不可分（大家可以参照语言和思维的关系来理解这 ...
- 13:46
- 浏览 (705)
- 评论 (0)
评论排行榜