1) Algebraic specification
代数规格说明
1.
The Design and Implementation of the Semi-automatic Aid Tool for Constructing Algebraic Specification;
代数规格说明的半自动化辅助构造工具的设计和实现
2.
This paper discusses algebraic specification technology and its automatic transfor-mation into PROLOG.
首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换 的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。
3.
The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification,and constructs a frame for semi-automatic testing frame.
本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。
2) Specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规格说明
1.
Application of concurrency Z specification in system requirement analysis and design;
并发Z规格说明在系统需求分析与设计中的应用
2.
The Animation of Object-Z Specification in SQL;
Object-Z规格说明的SQL动画模拟
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规格说明中序列和包的自动求精研究与实现
4) Contract Specification
Contract规格说明
1.
Transformation From UML Interaction Diagram to Contract Specification and Its Implementation;
UML交互图到Contract规格说明的转换及其程序实现
6) Specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规格，说明书
补充资料：软件规格说明
对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。"规格说明"一词与其他工业产品的"规格说明书"有相似的含义。不过,在软件领域中,它已成为一个特定的技术用语。软件产品与使用环境之间的关系，软件产品内部各组成部分之间的接口往往十分复杂，并且在发展过程中软件产品要经历多次变换，以各种不同形式出现于不同的阶段。因此，对软件的各组成部分之间、各发展阶段之间的接口关系应当规定得十分准确。软件规格说明须用某种语言书写。自然语言的陈述中常存在歧义性，易引起误解。因而，最好使用人工语言或者人工语言与自然语言的混合形式书写软件的规格说明。这种语言就叫作规格说明语言。大型软件的规格说明往往十分冗长，因而希望这种语言易于用计算机处理，以便能用机器检查软件规格说明中有无遗漏或自相矛盾的地方。软件规格说明的内容可根据不同场合的需要而有所侧重。①功能规格说明：对软件所应具备的功能作出规定；②性能规格说明：对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；③接口规定说明：对软件与其环境之间、软件各组成部分之间的接口关系作出规定；④设计规格说明：对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条