规约语言

✍ dations ◷ 2025-10-22 21:38:16 #计算机语言

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

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

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

相关

  • 生命征象生命体征(英语:Vital signs),或称生命迹象,医学术语,是一组4到6个最重要的人体基本生理功能(维持生命)的表征。这些测量结果被用于评估个体的身体健康,提供潜在疾病的线索,并显示出
  • 中国图书馆分类法中国图书馆分类法(第5版)(在第3版原名是中国图书馆图书分类法),是中国大陆最通用的图书分类法。简称中图法。1971年北京图书馆(现中国国家图书馆)等36个单位组成编辑组开始编制,1973
  • 约瑟·亨利约瑟·亨利(英语:Joseph Henry,1797年12月17日-1878年5月13日)是一位美国科学家,是美国科学振兴会(英语:National Institute for the Promotion of Science)的创始成员之一,也是史密森
  • 严援朝严援朝(1951年10月26日-)。CCDOS 发明人,四通利方中文支撑环境主要开发者之一。毕业于华中科技大学,曾经担任新浪网总工程师兼CTO,继任者是李嵩波。
  • 勒布朗·詹姆斯勒布朗·瑞蒙·詹姆斯一世(英语:LeBron Raymone James Sr.,1984年12月30日-),现役美国职业篮球运动员,目前效力于洛杉矶湖人。詹姆斯被公认为NBA历史上最强的小前锋,全能的他亦可胜
  • 南岳南岳可以指:
  • 1951年被中华人民共和国处决的死刑犯列表1951年被中华人民共和国处决的死刑犯列表,旨在列出1951年被中华人民共和国处决的死刑犯。
  • 中国科学院软件研究所中国科学院软件研究所(英语:Institute of Software, Chinese Academy of Sciences,缩写为ISCAS;以下简称“软件所”)是中国科学院设立的研究所之一,成立于1985年3月1日,是一个以计
  • 单花美冠兰单花美冠兰(学名:)为兰科美冠兰属下的一个种。它们是中国的特有种,分布于云南西北部的大理。其模式标本采集于海拔2800米的松林,它们生长于松林中开旷、干燥的岩石缝中。在中国物
  • 朝鲜邮票博物馆朝鲜邮票展示馆:位于朝鲜平壤市中心区的“中区”(Central district), 2003年9月9日开馆,总建筑面积650多平方米的两层建筑,展出由1946年3月12日起朝鲜发行的多种邮票。