用模块化方法进行程序设计的技术在20世纪50年代就出现雏形。在进行程序设计时把一个大的程序按照功能划分为若干小的程序，每个小的程序完成一个确定的功能，在这些小的程序之间建立必要的联系，互相协作完成整个程序要完成的功能。我们称这些小的程序为程序的模块。
　　通常规定模块只有一个入口和出口，使用模块的约束条件是入口参数和出口参数。
　　用模块化的方法设计程序，其过程犹如搭积木的过程，选择不同的积木块或采用积木块不同的组合就可以搭出不同的造型来。同样，选择不同的程序块或程序模块的不同组合就可以完成不同的系统架构和功能来。
　　将一个大的程序划分为若干不同的相对独立的小程序模块，正是体现了抽象的原则，这种方法已经被人们接受。把程序设计中的抽象结果转化成模块，不仅可以保证设计的逻辑正确性，而且更适合项目的集体开发。各个模块分别由不同的程序员编制，只要明确模块之间的接口关系，模块内部细节的具体实现可以由程序员自己随意设计，而模块之间不受影响。
　　具体到程序来说，模块通常是指可以用一个名字调用的一个程序段。对于不同的程序设计语言，模块的实现和名称也不相同，在basic，fortran语言中的模块称作子程序；pascal语言中的模块称为过程；c语言中的模块叫函数。