在软件工程中，设计模式（Design Pattern）是对软件设计中普遍存在（反复出现）的各种问题，所提出的解决方案。这个术语是由埃里希·伽玛（Erich Gamma）等人在1990年代从建筑设计领域引入到计算机科学的。
设计模式并不直接用来完成代码的编写，而是描述在各种不同情况下，要怎么解决问题的一种方案。面向对象设计模式通常以类或对象来描述其中的关系和相互作用，但不涉及用来完成应用程序的特定类或对象。设计模式能使不稳定依赖于相对稳定、具体依赖于相对抽象，避免会引起麻烦的紧耦合，以增强软件设计面对并适应变化的能力。
并非所有的软件模式都是设计模式，设计模式特指软件“设计”层次上的问题。还有其它非设计模式的模式，如架构模式。同时，算法不能算是一种设计模式，因为算法主要是用来解决计算上的问题，而非设计上的问题。
在软件工程中，创建型设计模式用于处理对象的实例化：
- 抽象工厂模式（Abstract Factory）
- 建造者模式（Builder）
- 工厂方法模式（Factory Method）
- 多例模式（Multiton）
- 对象池模式（Object Pool）
- 原型模式（Prototype）
- 简单工厂模式（Simple Factory）
- 单例模式（Singleton）
- 静态工厂模式（Static Factory）
结构型设计模式用于处理类和对象的组合：
- 适配器模式（Adapter）
- 桥梁模式（Bridge）
- 组合模式（Composite）
- 数据映射模式（Data Mapper）
- 装饰模式（Decorator）
- 依赖注入模式（Dependency Injection）
- 门面模式（Facade）
- 流接口模式（Fluent Interface）
- 代理模式（Proxy）
- 注册模式（Registry）
行为型设计模式用于处理类的对象间通信：