规约语言
专业术语
规约语言（specification language）是2018年公布的计算机科学技术名词。
定义
一种面向问题的语言。①综合了自然语言与人工语言，通常可由计算机处理；②用于表达某一系统或构件的需求、设计、行为或其他特性；③提供专用语言构造，有时还提供验证协议，供开发、分析所规定的实体并为其编制文档使用。
出处
《计算机科学技术名词 》第三版。
参考资料
规约语言.术语在线.
最新修订时间：2022-04-08 16:47
条目作者
小编
目录
概述
定义
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1