功能性语言亦称“功能规约语言”，是用以书写软件功能规约的语言。

范围

主要涉及规约对象、规约方法，以及规约性质等。

分类

可分为非形式规约语言和形式规约语言。后者逐渐为人们所接受并用于软件工程实践。1

本词条内容贡献者为:

徐恒山 - 讲师 - 西北农林科技大学

功能性语言

图文简介

功能性语言亦称“功能规约语言”，是用以书写软件功能规约的语言。