1) system specification language
系统规范说明语言
2) Z specification language
Z规格说明语言
3) specification language Z
规格说明语言Z
1.
By using the object-oriented specification language Z,it describes the process of creating a formal model of the class scheduling system.
使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例。
4) specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规范说明
1.
The specification phase is of great importance to the whole process of the software development, which is always considered as part of the requirement system.
软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段，它可以被认为是需求分析的一部分。
2.
B method is one of the most popular formal methods at present,which supports the whole lifecycle of software development process,from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一,它支持从规范说明到代码生成的整个软件开发周期。
3.
With precise mathematical semantics,formal methods support accurate specification and rigor verification for software systems.
B形式化方法支持从规范说明到代码生成的整个软件开发周期。
5) UML component
统一建模语言构件规格说明
补充资料：软件规格说明
对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。"规格说明"一词与其他工业产品的"规格说明书"有相似的含义。不过,在软件领域中,它已成为一个特定的技术用语。软件产品与使用环境之间的关系，软件产品内部各组成部分之间的接口往往十分复杂，并且在发展过程中软件产品要经历多次变换，以各种不同形式出现于不同的阶段。因此，对软件的各组成部分之间、各发展阶段之间的接口关系应当规定得十分准确。软件规格说明须用某种语言书写。自然语言的陈述中常存在歧义性，易引起误解。因而，最好使用人工语言或者人工语言与自然语言的混合形式书写软件的规格说明。这种语言就叫作规格说明语言。大型软件的规格说明往往十分冗长，因而希望这种语言易于用计算机处理，以便能用机器检查软件规格说明中有无遗漏或自相矛盾的地方。软件规格说明的内容可根据不同场合的需要而有所侧重。①功能规格说明：对软件所应具备的功能作出规定；②性能规格说明：对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；③接口规定说明：对软件与其环境之间、软件各组成部分之间的接口关系作出规定；④设计规格说明：对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条