规约语言

✍ dations ◷ 2025-04-18 18:03:47 #计算机语言

规约语言(英语:Specification language),或称规范语言,是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同,规约语言主要用于系统分析和设计的过程中。

规约语言通常是不能直接运行的,虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统,因此,在规约语言被实际实现之前,必须经过一个(不断添加实现细节)的过程。

规约语言的一个重要应用是允许创建程序正确性的证明(参见自动定理证明)。

相关

  • 真菌修复真菌修复(Mycoremediation)是一个由美国真菌学家保罗·史塔曼兹创立的新词,是生物修复的一种,意指以真菌来降解环境中的污染物。真菌可分泌酵素到环境中,将许多有机污染物分解成
  • 费奥多西亚费奥多西亚(英语:Feodossia;俄语:Феодо́сия,Feodosiya;克里米亚鞑靼语和土耳其语:Kefe),古称卡法(Kaffa),是位于黑海北岸克里米亚半岛的城市。在20世纪中期,苏联统治下的费奥多
  • 支厅支厅又称地方厅,为日本都道府县下的次级行政组织,负责处理所属都道府县的地区事务,并非自治机关,因此首长由县(都、道)厅指派。全日本现共有12个支厅。目前在东京都、岛根县、宫崎
  • 斯里兰卡国会执政联盟(95)在野党派(130)斯里兰卡议会(僧伽罗语:ශ්‍රී ලංකා පාර්ලිමේන්තුව)是斯里兰卡的一院制立法机构,由255名议员组成。议员在普遍选举中以比例代表制选
  • ElektraElektra最初是Opera 4.0版本的开发代号。实际上,Opera 3.5版到6.1版所使用的都是相同的排版引擎,只是当时没有排版引擎这样的概念。Opera软件公司首次官方称为排版引擎的是在
  • 克钦独立组织克钦独立组织(缅甸语:ကချင်လွတ်လပ်ရေး အဖွဲ့ချုပ်,英语:Kachin Independence Organisation,简称KIO)是缅甸的一个克钦族(景颇族)政治组织,在1960年代至90年
  • 马里安·奥热霍夫斯基马里安·奥热霍夫斯基(波兰语:Marian Orzechowski,1931年10月24日-),波兰政治人物,波兰统一工人党中央政治局委员(1986年-1990年)1931年10月24日生于拉多姆。1950年毕业于弗罗茨瓦夫第
  • 宋兴 (明朝宦官)宋兴(1508年-1582年), 字廷起,号瀛海,河间肃宁人,嘉靖时期的司礼监太监。因为他熟悉宫中典章制度,曾先后主持寿安皇太后邵氏(成化帝的贵妃、嘉靖帝的祖母)、慈孝献皇后蒋氏(嘉靖帝的生
  • 震动图震动图是由地震仪所绘制的。震动图是根据各个地震测量局测量的地面移动来绘制的。供绘制震动图所用的探测到的能量可能是来自于地震,也可能有其他来源,例如爆炸。人们曾经将纸
  • 佛罗里达 (消歧义)佛罗里达(Florida)或弗洛里达通常指美国的一个州,但也可以指: