什么是软件语言

软件语言（Software Language）是用于书写计算机软件的语言。它主要包括需求定义语言、功能性语言、设计性语言、程序设计语言以及文档语言等。

需求定义语言用以书写软件需求定义，软件需求定义是软件功能需求和非功能需求的定义性描述。软件功能需求刻画“做什么”，软件非功能需求刻画诸如功能性限制、设计限制、环境描述、数据预通信规程以及项目管理等。需求定义语言经历了从非形式的自然语言到半形式化语言以及形式化语言的发展，迄今半形式化的需求定义语言已经有很大的发展，已逐步用于软件工程的实践。

功能性语言用以书写软件功能规约，软件功能规约是软件功能的严格而完整的陈述。软件功能规约通常只刻画软件系统“做什么”的外部功能，而不涉及系统“如何做”的内部算法，因此，功能性语言通常又称为功能规约语言。从形式化的程度看，有非形式化功能性语言和形式化功能性语言之分。功能性语言涉及对象，规约方法以及规约性质等。规约对象主要包括过程抽象和数据抽象两类：过程抽象是指从输入值到输出值集的映射，其定义域和值域均由数据抽象刻画。数据抽象则提供了数据值及其上的运算符集。规约方法涉及如何对过程抽象预数据抽象进行规约。

设计性语言用以书写软件设计规约。软件设计规约是软件设计的严格而完整的陈述。一方面，它是软件功能规约的算法性细化，刻画了软件“如何做”的内部算法；另一方面，它又是软件实现的依据从。从细化程度来看，有总体设计规约与详细设计规约之分。前者刻画设计的总计框架；后者刻画详尽细节。

实现性语言，即一般的程序设计语言，用于计算机程序、处理对象和规则的描述。程序设计语言有高级语言和低级语言之分。

文档语言用以书写软件文档。以上的软件需求定义，软件功能规约，软件设计规约等都是软件文档。此外还可能有一些其他阐明性的资料，这些也是软件文档。