规约语言（specification language）是2018年公布的计算机科学技术名词。
一种面向问题的语言。
①综合了自然语言与人工语言，通常可由计算机处理；
②用于表达某一系统或构件的需求、设计、行为或其他特性；
③提供专用语言构造，有时还提供验证协议，供开发、分析所规定的实体并为其编制文档使用。
《计算机科学技术名词 》第三版。
温馨提示：
