规约语言

✍ dations ◷ 2025-09-11 10:33:38 #计算机语言

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

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

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

相关

  • RUP统一软件开发过程(英语:Rational Unified Process,缩写为RUP)是一种软件工程方法,为迭代式软件开发流程。最早由Rational Software公司开发,因此冠上公司名称。Rational Software
  • 段成式段成式(803年?-863年),字柯古,唐代博物学家、诗人、官员。邹平(今属山东滨州)人。后随父徙宜城。世家子弟,遍览群书,善于佛学。官至太常少卿。段成式善于诗歌骈文,与李商隐、温庭筠齐名
  • 白狼语《白狼王歌》,又称《白狼歌》,是东汉时的一首西南少数民族用民族语言写作的诗。据《后汉书·西南夷列传》中记载,汉明帝永平年间(58年至75年),益州刺史梁国朱辅大力宣传汉朝政策,对
  • 哈西迈萨乌德哈西迈萨乌德(阿拉伯语:حاسي مسعود‎)是阿尔及利亚瓦尔格拉省的一个镇。1956年,哈西迈萨乌德发现石油。
  • 遗传度遗传度,又称遗传力,是育种学和遗传学使用的一种统计量,用来估计某一性状在群体中有多大比例的变异是遗传因素决定的,测得变异也因环境因素效应变化(含测量误差)。根据是否是受到成
  • 争斗时争斗时(कलियुग,Kali Yuga)是印度教中四个宇迦循环中的最后一个宇迦,也是目前所在的宇迦。根据印度教描述的宇宙图景,争斗时是继二分时之后的宇迦。其时充满罪恶,人性彻底堕
  • 维克多·博洛甘维克多·博洛甘(罗马尼亚语:Victor Bologan,1971年12月14日-),摩尔多瓦国际象棋棋手,亦是一位国际象棋作家。1991年获国际象棋特级大师称号。博洛甘于2003年获俄航杯国际象棋公开赛
  • 李于阳李于阳(1784年-1826年),字占亭,号即园。其祖为大和县望族,即园二岁时,随父迁居民明。他善于诗,亦能词,诗名满昆华、苍洱之间,与民明藏纲孙、额淳、强磺、楚雄池春生并称为“昆华五子”
  • 卡罗琳·阿玛莉 (丹麦王后)卡罗琳·阿玛莉(英语:Caroline Amalie,1796年6月28日-1881年3月9日)是丹麦王后和石勒苏益格-荷尔斯泰因-宗德堡-奥格斯滕堡群主。她的丈夫是丹麦国王克里斯蒂安八世。她的母亲路
  • 狄姓狄姓为中文姓氏之一,在《百家姓》中排名第108位。