规约语言
规约语言（英语：Specification language），或称规范语言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。
规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统，因此，在规约语言被实际实现之前，必须经过一个精化（不断添加实现细节）的过程。
规约语言的一个重要应用是允许创建进程正确性的证明（参见自动定理证明）。
| 单词 | Specification language |
| 释义 |
Specification language
中文百科
规约语言规约语言（英语：Specification language），或称规范语言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统，因此，在规约语言被实际实现之前，必须经过一个精化（不断添加实现细节）的过程。 规约语言的一个重要应用是允许创建进程正确性的证明（参见自动定理证明）。
英语百科
Specification language 规约语言A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system. |
| 随便看 |
英汉双解词典包含3607232条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。