1) Formal specification
形式规格说明
1.
Therefore animation of formal specification is used to translate the formal specification into an executable mode,and then to validate the specification with user s informal requirements.
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的。
2.
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤。
3.
Object-Z,an extension to formal specification language Z,is good for describing large scale object-oriented software specification.
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。
2) formal specification
形式化规格说明
1.
With the use of formal specification languageZ language, its safety requirements are represented as a formal specification.
本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。
2.
In this paper,formal specification based on order sorting is used to describe the behavior of software component, and various types of definition of such matching for software com.
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。
3) 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动画模拟
4) specification format
说明格式
5) Format specification
格式说明
6) 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规格说明中序列和包的自动求精研究与实现
补充资料：软件规格说明
对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。"规格说明"一词与其他工业产品的"规格说明书"有相似的含义。不过,在软件领域中,它已成为一个特定的技术用语。软件产品与使用环境之间的关系，软件产品内部各组成部分之间的接口往往十分复杂，并且在发展过程中软件产品要经历多次变换，以各种不同形式出现于不同的阶段。因此，对软件的各组成部分之间、各发展阶段之间的接口关系应当规定得十分准确。软件规格说明须用某种语言书写。自然语言的陈述中常存在歧义性，易引起误解。因而，最好使用人工语言或者人工语言与自然语言的混合形式书写软件的规格说明。这种语言就叫作规格说明语言。大型软件的规格说明往往十分冗长，因而希望这种语言易于用计算机处理，以便能用机器检查软件规格说明中有无遗漏或自相矛盾的地方。软件规格说明的内容可根据不同场合的需要而有所侧重。①功能规格说明：对软件所应具备的功能作出规定；②性能规格说明：对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；③接口规定说明：对软件与其环境之间、软件各组成部分之间的接口关系作出规定；④设计规格说明：对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条