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

• 中文名称 软件语言
• 外文名称 Software Language
• 含义 用于书写计算机软件的语言
• 包括 需求定义语言、功能性语言

主要类型

需求定来自义语言

　　需求定义语言用以书写软件需求定义，软件需求定义是软件功能需求和非功能需求的定义性描述。软件功能需求刻画"做什么"，软件非功能需求刻画诸如功是银茶渐留云室象缺保能性限制、设计限制、环境描述、殖轻益块气混燃东某到数据预通信规程以及项目管理等。

　　需求定义语言经历了从非形式的自然语言到半形式化雄照催虹语言以及形式化语言的发展，迄今半形式化的需求定义语言已360百科经有很大的发展，已逐步用于软件工程的实践。

功能性语言

　　功能性语言用以书写软件功能规约，软件功能规约是软件功能的严格而完整的陈祖拿牛买任天阶千述。软件功能规约通常只刻画软件系统"做所持元证望危处松什么"的外狱愚设部功能，而不或思而涉及系统"如何做"的内部算法，因此，功能性语言通常又称为功能规约语言。

　　从形式化的程度看，有非形式化功能性语言和形式化功能性语言之分。功能性语言涉及对象，悼寒规约方法以及规约性质等。

　　规约对象主要包括过程抽象和数据抽象两类单:

　　过程抽象是指从输入值到输出值集的映射，其定义域和值域均由数据抽象六病班松单坐求川容刻画。

　　数据抽象则提供了数据胜坐判蒸八技色值及其上的运算符集。规约方法涉及如何对过程抽象预数据抽司业快象进行规约。

设计性语果微叫情套律查景盟耐给言

　　设计性语言用以书写软件设计规约。软件设计规约是软件若板信球收设计的严格而完整农换补操件粉的陈述。

　　一方面，它是数火客重发左软件功能规约的算法性细化，刻画了软件"如何做"的内部算法;

　　另一方面，它又是软件实现的依据从。从细化程度来看，有总体离烧设计规约与详细设计规约之持没套县分。前者刻画设计的总计框架;后者刻画详尽细节。

程序设计语言

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

文档语言

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

语言简称

金息模宁能刚百情似　　PDL:一种典型的设计性语再榜归言，常用于详细的设计。

　　Z:一种功能性语言，是以一阶谓词演算为基础的一种规约语言。寒担臭

　　程序设计语言用于书写计算机语言，包含语法、语意和语用三个方面。

　　Prolog:非过程式语言，一种说明性语言，一种人工智能程序设计语言。

　　RPG:非过程式语言。

　　C++:面向对象语言。

　　Java:面向对象语言。

　　Smalltalk:面向对象语言。