功能性语言亦称“功能规约语言”,是用以书写软件功能规约的语言。 范围主要涉及规约对象、规约方法,以及规约性质等。 分类可分为非形式规约语言和形式规约语言。后者逐渐为人们所接受并用于软件工程实践。1 本词条内容贡献者为: 徐恒山 - 讲师 - 西北农林科技大学