规约语言（英语：Specification language），或称规范语言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。
规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统，因此，在规约语言被实际实现之前，必须经过一个（不断添加实现细节）的过程。
规约语言的一个重要应用是允许创建程序正确性的证明（参见自动定理证明）。
首页 >
规约语言
✍ dations ◷ 2025-11-20 00:52:19 #计算机语言
相关
- 洒尔佛散洒尔佛散（德语：Salvarsan），也称作砷凡纳明或胂凡纳明（英语：Arsphenamine）或606，是第一种有效治疗梅毒的有机砷化合物，又用于治疗昏睡病，还是第一种现代化疗药物，1910年代初投入应用。19
- 圣母颂巴赫与古诺的《圣母颂》是一首流行的圣母颂。其最早于1853年以Méditation sur le Premier Prélude de Piano de S. Bach的名字出版。这首曲子中包含了法国浪漫主义作曲家
- 报纸本条目是在中国发行的报纸的列表。中国境内共有日报816家，非日报1344家。“国家级报纸”，也作“全国性报纸”。以下列出在中国境内全国发行的付费报刊，以字典序排列。 表示该
- 信仰比例这个条目概述了各国宗教信仰情况。edit Description
- 波罗地波罗的大陆（Baltica）是个史前大陆，存在于晚元古宙到早古生代，包含现今的东欧克拉通（芬挪斯堪地盾、伏尔加-乌拉尔克拉通、与萨尔马提亚克拉通）。波罗的大陆的原始部分形成于18亿年
- 非洲裔美国人白话英语非洲裔美国人白话英语（African American Vernacular English，简写作AAVE），也常被称为美国黑人英语（African American English）；非正式的叫法还包括黑人英语（Black English）、黑人白话
- 碧奇公主桃花公主（日语：ピーチ姫，英语：Princess Peach，港台官方译为“碧姬公主”，中国大陆官方译为“桃花公主”），是任天堂著名游戏系列马里欧系列中的重要角色。她由宫本茂亲自设计出来，名字
- 俄罗斯自治州俄罗斯自治州，其国内简称自治州（俄语：Автономная область），是俄罗斯联邦主体的其中一个类型。俄罗斯联邦目前只有一个自治州，即犹太自治州。但在苏联时期，其境内
- 彼得·贝伦斯彼得·贝伦斯(Peter Behrens)，（1868年4月14日－1940年2月27日），逝世于柏林。德国现代设计之父，是德国现代主义设计的重要奠基人之一， 在建筑和设计方面的深远影响一直延续到今天。他
- 佩丽冉卡·曹帕拉佩丽冉卡·曹帕拉（英文：Priyanka Chopra，印地语：प्रियंका चोपड़ा，1982年7月18日－）是印度知名电影和电视女演员。1982年生于贾坎德邦的詹谢普尔；在2000年获选为印度小
