规约语言（specification language）是2018年公布的计算机科学技术名词。定义 一种面向问题的语言。①综合了自然语言与人工语言，通常可由计算机处理；②用于表达某一系统或构件的需求、设计、行为或其他特性；③提供专用语言构造，有时还提供验证协议，供开发、分析所规定的实体并为其编制文档使用。出处 《计算机科学技术...
功能规约语言是指用于书写软件功能规约的语言，通常又称为功能性语言。软件功能规约也称功能规格说明，是软件所要完成功能的精确而完整的陈述，通常只刻画软件系统“做什么”的外部功能，而不涉及系统“如何做”的内部算法。典型的功能性语言有广谱语言、Z语言等。简述 软件功能规约是软件所要完成功能的精确而完整的陈述...
需求规约语言 需求规约语言（requirements specification language）是2018年公布的计算机科学技术名词。定义 用于描述软件功能需求和非功能需求的语言。出处 《计算机科学技术名词 》第三版。
《软件工程卷2：系统与语言规约》是2009年清华大学出版社出版的图书，作者是Dines Bjorner。图书简介 本书是世界著名的计算机科学家DinesBjorner教授对其所从事的软件工程研究的总结。这几卷书主要讲述了如何使用形式方法指导软件工程的开发，特别是作者独创性地提出了领域工程这一全新的研究领域并在第~3~卷中予以系统...
规约语言在航空航天领域的应用案例包括: - 用规约语言来描述飞机的气劢性能,并使用数学模型来验证飞机的飞行特性; - 用规约语言来描述火箭的推迚系统,并使用仿真模型来验证火箭的性能; - 用规约语言来描述卫星的通信系统,并使用测试用例来验证卫星的通信能力。 2. 这些应用案例表明,规约语言在航空航天领域发挥着...
编译程序规约语言 编译程序规约语言（compiler specification language）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。定义 一种用于开发编译程序的规约语言。出处 《计算机科学技术名词 》第三版。
规约语言 添加到生词本用户正在搜索employe, employed, employee, employee stock ownership plan, employee turnover, employer, employless, employment, employment agency, employment contract, 相似单词3G, 401(K), a, 用户正在搜索empower, empresmomania, empress, empressement, empressite, empretron, ...
语言的任意性指的是语符与所指对象之间的非直接对应关系，这一特性使得语言具有高度的灵活性和创造性。相比之下，语言的像似性则关注语符与所指对象之间的关联性与理距性，即语符在某种程度上模仿了所指对象的特征或形态。然而，规约性是语言得以成为社会交流工具的基本前提。对于任何一个语言社团而言，...
以CCSL为规约语言的时空一致性语言的验证框架 摘要:时空一致性语言(STeC)是一种用来专门处理时空行为——即与特定的位置与时间相关的行为的高层建模语言。这样对位置和事件的约束在某些实时系统中是及其重要的。CCSL语言是一种基于逻辑时钟的形式化规约语言。介于它表达基于逻辑和精密计时的时间约束的强大的表达能力,被...
按需求规约语言挟人捉将。凿砸泰山敢当石,块块石头都腰缠一圈龙脉白鳞,拼凑在一起,百结悬一龙筋壮带,围圆打维正是“卡裆”。补天掉下无数碎石,落到地上砸金坑、落在屋脊彗星着床,落在脑瓜瓢诞圣。 - 🎶👸于20240926发布在抖音,已经收获了1个喜欢,来抖音,记录美