需求定义语言用以书写
软件需求定义，软件需求定义是软件功能需求和非功能需求的定义性描述。软件功能需求刻画“做什么”，软件非功能需求刻画诸如功能性限制、设计限制、环境描述、数据预通信规程以及项目管理等。
需求定义语言经历了从非形式的自然语言到半形式化语言以及形式化语言的发展，迄今半形式化的需求定义语言已经有很大的发展，已逐步用于
软件工程的实践。
功能性语言用以书写软件功能规约，软件功能规约是软件功能的严格而完整的陈述。软件功能规约通常只刻画
软件系统“做什么”的外部功能，而不涉及系统“如何做”的内部算法，因此，功能性语言通常又称为功能规约语言。
另一方面，它又是软件实现的依据从。从细化程度来看，有总体设计规约与
详细设计规约之分。前者刻画设计的总计框架；后者刻画详尽细节。
文档语言用以书写软件文档。以上的
软件需求定义，软件功能规约，软件设计规约等都是软件文档。此外还可能有一些其他阐明性的资料，这些也是软件文档。