软件工程中的数学思想——系统的构造模型

在此处我对建模的基础再次声明。我首先不愿让本书落入数学符号的说教中，我澄清我以下的观点：1．该处的数学仅仅是一种描述，比如集合就是对象整体的描述。2．如下所说的数学性质仅仅是对该集合对象或集合内对象的性质，即我们对什么建模，建出的模型的性质是什么；这些性质有否扩展机制；如何扩展，其理论基础是什么；集合的关系、函数、数字系统和算法将描述该模型的运转情况。比如说COM的接口有自反性，若你知道自反性是什么样的性质，有何可利用的机制，对于技术本身的理解是有益无害的。3．如下所说的还包括对模型的构造的过程和结果有描述，将对构造出的模型进行分析，该模型是否为最简单的模型，该处构造的模型是否已经被构造过，如