规约语言
外观
![本页使用了标题或全文手工转换](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
此條目没有列出任何参考或来源。 (2014年1月12日) |
规约语言(英語:Specification language),或称規範語言,是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同,规约语言主要用于系统分析和设计的过程中。
规约语言通常是不能直接运行的,虽然有人在进行这方面的研究。规约语言在比编程语言更抽象層次上描述系统,因此,在规约语言被实际实现之前,必须经过一个精簡化(不断添加实现细节)的过程。
规约语言的一个重要应用是允许创建程序正确性的证明(参见自动定理证明)。
一些规约语言
[编辑]
|
![]() | 这是一篇與计算机相關的小作品。您可以通过编辑或修订扩充其内容。 |