程序设计语言的工程特性包括：可移植性、可重用性、可维护性、局部性和顺序性。

JACKSON 方法是以数据流、数据封闭性准则逐层分解的。

当模块的控制范围是其作用范围的子集时，模块之间的耦合度较低。

所谓结构冲突，是指输入数据与输出数据之间很少或没有结构上的对应关系。通常解决 的办法是：构造一个或者多个中间结构，在输入和输出结构之间进行转换。

SD 法是一种面向数据结构的设计方法，强调程序结构与问题结构相对应

中心变换型的 DFD 图可看成是对输入数据进行转换而得到输出数据的处理， 因此可以使 用事务分析技术得到初始的模块结构图

信息隐蔽原则有利于提高模块的内聚性

在网状结构中任何两个模块都是平等的，没有从属关系，所以在软件开发过程中常常被使用。

划分模块可以降低软件的复杂度和工作量， 所以应该将模块分得越小越好。

用于需求分析的软件工具，应该能够保证需求的正确性，即验证需求的一致性、完整性、现实性和有效性。