抽象：关注事物基本、重要的部分，忽略不相关成分。
信息隐藏：模块中的软件设计决策信息封装起来的技术，只知道它的功能以及对外的接口，而不知它的内部细节。
模块化：模块是程序中一个逻辑上相对独立、具有良好的接口定义的编程单位：过程、函数、类、程序包等。
局部化：物理模块内集中逻辑上相互关联的计算资源。
一致性：整个软件系统均使用统一的符号、概念和术语。
完全性：整个软件系统不丢失任何重要的成分，软件完全实现系统所需的功能、行为和性能。
可验证性：软件系统应易于检查、测试和评审。