规约语言（英语：Specification language），或称规范语言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。
规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统，因此，在规约语言被实际实现之前，必须经过一个（不断添加实现细节）的过程。
规约语言的一个重要应用是允许创建程序正确性的证明（参见自动定理证明）。
首页 >
规约语言
✍ dations ◷ 2025-02-24 02:04:39 #计算机语言
相关
- 医药医药是医学和药学的合称，包括：
- 存水弯存水弯，是U型、S型、或J形的管件装置，让废水及污水流进地下室筏基，并且阻止臭气及其他气体逆流或倒灌进室内， Alexander Cummings（英语：Alexander Cummings）在1775年发明S型弯的，但
- 尿嘧啶尿嘧啶（Uracil /ˈjʊərəsɪl/，简写U），是组成RNA的四种碱基之一。在DNA的转录时取代 DNA 中的胸腺嘧啶，与腺嘌呤配对。将尿嘧啶甲基化即得胸腺嘧啶 (T)。
- 阿布拉罕-洛伦兹力阿布拉罕-洛伦兹力（Abraham-Lorentz force）是一加速带电粒子因为粒子放射出电磁辐射而所受到的平均力。其适用在粒子行进速度不快的时候。若在相对论性速度下，此力则称作是阿布
- 巴尔顿期巴尔顿期（也被称为奥弗斯期）是中始新亚世的一个阶段，起始和终止时间分别为41.2百万年前和37.8百万年前。
- 五味子五味子（学名：Schisandra chinensis），又称作五味、北五味子、山五味、山花椒、荎藸（拼音：chíchú，南京官话：chr2chu2），为五味子科五味子属下的一种植物。唐朝《新修本草》载“五味皮肉
- 马丁·海因里希马丁·特雷弗·海因里希（英语：Martin Trevor Heinrich ；1971年10月17日－），是一位美国民主党政治人物，自2013年成为新墨西哥州联邦参议院议员。此前他曾是美国众议院新墨西哥州第一
- U-2侦察机洛克希德U-2，外号蛟龙夫人（Dragon Lady），是美国空军一种单座单发动机的高空侦察机。能不分昼夜于70,000英尺（21,336米）高空执行全天候侦察任务。在和平时期、危机、小规模冲突和战
- 第25步兵师美国陆军第25步兵师隶属于美国陆军太平洋司令部第8军，绰号“热带闪电”，是美国太平洋战区主要的陆军力量，可以在接到动员令后18小时内开始部署。第25步兵师属轻型作战师，机动灵
- NHK北九州放送局NHK北九州放送局，是日本放送协会位于福冈县北九州市的地方放送局，也是负责主管当地事务的放送局。
