1) 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实现了模型中的一个实例。
2) Z specification language
Z规格说明语言
3) Z specification
Z规格说明
1.
C++STL realization for function mapping of Z specification;
Z规格说明函数映射的C++STL实现
2.
Relation and Function Mapping from Z Specification to C++STL;
Z规格说明中关系和函数到C++STL的自动转换
3.
Research and Realization of Automatism Refinement of List and Bag in the Z Specification;
Z规格说明中序列和包的自动求精研究与实现
5) requirement specification language
需求规格说明语言
1.
To support the method, this paper introduces graphical requirement analysis language, formal requirement specification language, the method and mechanism of transforming from informal model to formal specification and from formal specification to implementation.
提出了一种改进的对象式软件开发方法，该方法支持从概念建模、逻辑建模到实现的软件开发全过程；介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制；简要地介绍了支持这种方法的一个软件工具的设计与实现。
6) UML component
统一建模语言构件规格说明
补充资料：软件规格说明
对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。"规格说明"一词与其他工业产品的"规格说明书"有相似的含义。不过,在软件领域中,它已成为一个特定的技术用语。软件产品与使用环境之间的关系，软件产品内部各组成部分之间的接口往往十分复杂，并且在发展过程中软件产品要经历多次变换，以各种不同形式出现于不同的阶段。因此，对软件的各组成部分之间、各发展阶段之间的接口关系应当规定得十分准确。软件规格说明须用某种语言书写。自然语言的陈述中常存在歧义性，易引起误解。因而，最好使用人工语言或者人工语言与自然语言的混合形式书写软件的规格说明。这种语言就叫作规格说明语言。大型软件的规格说明往往十分冗长，因而希望这种语言易于用计算机处理，以便能用机器检查软件规格说明中有无遗漏或自相矛盾的地方。软件规格说明的内容可根据不同场合的需要而有所侧重。①功能规格说明：对软件所应具备的功能作出规定；②性能规格说明：对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；③接口规定说明：对软件与其环境之间、软件各组成部分之间的接口关系作出规定；④设计规格说明：对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条