Modula-2是由图灵奖获得者尼克劳斯·维尔特（Niklaus Wirth）所提出的一个编程语言。Modula-2之名是根据其3个编译单元的模块而来，这些模块分别为程序模块（Program Module），定义模块（Definition Module）及运行模块（Implementation Module）。
Wirth根据其早期对Pascal、模块编程语言(Modula)或称为Modula-1编程语言及Alto电脑的经验来定义Modula-2。在1976至1977年间，Wirth在Xerox Palo Alto研究中心与一群设计Alto电脑的工作伙伴一同工作，次年，他开始一个在瑞士联邦理工学院信息研究所的Lilith个人电脑项目。该项目主要的原则乃是以Modula-2为Lilith的系统编程语言，而以Lilith为Modula-2的组织架构。由于不需汇编器(Assembler)，该语言不仅适用于编写高端的应用程序，也应适用于编写低端，与机器相关的编码程序(Machine-Dependent Coding)，用设备的操控与存储体的配置。
该语言本身与Lilith结构之设计，都以优雅及简单为原则，在整个Lilith项目的生命期中(1978-1988)，操作系统、绘图套装软件、数据库系统、网络协议、文件服务器及许多其他系统和应用模块都是借着Modula-2发展出来的。
Modula-2设计是让其程序模块得以重复使用(Reuse)。它借着提供一些标准程序库，如异常处置(Exception Handling)、字符串处理(String Processing)、输入／输出(I/O)及并发程序设计(Concurrent Programming)等来降低语言本身的复杂度。
一个Modula-2的定义模块(Definition Module)定义抽象化数据(Data Abstraction)的接口规格。一个定义模块是与其相对应的实现模块(Implementation Module)个别分开来编译。一旦编译好就不必再改变。一个定义模块(Definition Module)包含对常量、类型(Type)、变量及程序标头的宣告。只有那些可能会被其他程序员引用到的程序标头才会被宣告在定义模块内。那些相对应的运行模块包括区域性的常量、类型、变量宣告；以及外部程序和内部实现所需用到的程序定义。
程序是由上而下(Top-Down)的方式发展，其步骤乃是先创建若干定义模块，之后再随着需要创建实现模块的部分。每一个实现模块可在其被调用前对其区域性的数据结构设置初始值。Modula-2也需侦测在实现模块内的数据是否已过时而导致数据的不一致。
Modula-2编程语言有几项特色使其在计算机科学的发展过程中有着功不可没的功劳。首先，它所提出的计算机体系结构、语言和作业环境的集成概念是一项创举；其次，它强调程序员在用户界面的设计上，至少需花费用同实现程序设计时所耗费的成本和努力。最后，它提出对抽象化数据的简化。
本条目部分或全部内容出自以GFDL授权发布的《自由在线电脑词典》（FOLDOC）。
