摘要：内聚标志一个模块内各个元素彼此结合的紧密程度，它是信息隐藏和局部化概念的自然扩展。低内聚：（1）偶然内聚：如果一个模块完成一组任务，这些任务彼此间即使有关系，关系也是很松散 的，这就叫做偶然内聚；（2）逻辑内聚：如果一个模块完成的任务在逻辑上属于相同或相似的一类（例如，一个模块产生各种类型的全部输出 阅读全文

摘要：在开发大型软件系统的过程中应该使用形式化说明技术。 应用形式化方法的准则：（1）应该选用适当的表示方法。（2）应该形式化，但不要过分形式化。（3）应该估算成本。（4）应该有形式化方法顾问随时提供咨询。（5）不应该放弃传统的开发方法。（6）应该建立详尽的文档。（7）不应该放弃质量标准。（8）不应该盲目 阅读全文