规约语言

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

规约语言

规约语言规约语言（），或称规范语言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言更抽象层次上描述系统，因此，在规约语言被实际实现之前，必须经过一个"精简化"（不断添加实现细节）的过程。规约语言的一个重要应用是允许创建程序正确性的证明（参见自动定理证明）。

早田山毛榉

软件架构

插天山自然保留区

软件开发过程

自由党 (香港)

呼兰区

越剧

纳西族

台湾保育物种列表

普萨美提克一世

亨利三世 (神圣罗马帝国)

奥托三世 (神圣罗马帝国)