软件设计中的模块依赖研究

针对软件开发中的模块依赖提出了一种新的模块间依赖模型。新模型的关键思想是依赖是由规范调节的,这样不仅记录了依赖的存在,而且记录了依赖的质量。单个模块不一定只提供单个规范,每个依赖模块可以通过不同的规范使用它。这种依赖的概念比传统的概念更容易解释一些常见的编程习惯用法,并为分析和设计提供了新的评价体系。