功能性语言

科技工作者之家 2020-11-17

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

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

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

本词条内容贡献者为:

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

科技工作者之家

科技工作者之家APP是专注科技人才,知识分享与人才交流的服务平台。