2) specification macro
规格说明宏指令
3) declarative data
说明性数据
4) 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.
首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;在这种方法的基础上设计了一个自动转换系统,该系统接受ASL语言描述的规格说明,通过转换规则,逐步将此规格说明转换成可执行的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.
本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。
5) instruction
[英][ɪn'strʌkʃn] [美][ɪn'strʌkʃən]
指示,指令;说明[书];规程
6) performance specification
性能规格说明
补充资料:说明
说明
declaration
Shuoming说明(dec.aration)程序中用到实体的属性或定义描述。程序的说明部分使名字与被说明的实体相联系。例如,一个常量说明 Pl:Cbns扭nt:=3 .1 415 926 536:使PI与数学中的二值相联系。 说明可分为常量说明,变量说明,类型说明,子程序说明,模块说明,异常说明等。史蚤说明定义了程序中使用的各种变量及其属性。典里说用除了通常的类型定义外,还有私有类型说明。当希望说明一个能为外界使用,但又要隐蔽其具体实现和内部数据结构的类型时,可以使用私有类型说明。子程序说明参见函数与过程。棋块说明包括顺序模块说明与并发模块说明。Ada语官中的程序包为一种典型的顺序模块,它描述具有相对独立性的一组逻辑上相关的实体。例如,定义复数类型的数据结构及其操作(十,一,二,/,求平方值)的程序包规约,在八da中写为 Paehageo,nPlex一arithrnetic 15 tyl湘Cornl〕lex访 r明rd r司~pan:noat:二0,氏 illlag」姆成川伪t:二0,山 erld record; funetion“一“(a,b:~plex)returna卫nplex; funetlon“二”(a,b:Conlplex)ret~田nlplex; function“/”(a,b:~口ex)return~口ex; funetionsqr(a,b:~口ex) elld conlplex一arithrnetic; 并发模块描述相对独立的可并行执行的一组逻辑实体。并发模块可在多机系统或多处理机系统上实现,也可在单处理机上以交叉执行的方式实现。例如沪da中任务模块就是一种典型的并发模块,几个任务模块中各个任务除了发生会合的时刻外均为独立、并行地运行。异常说明是现代程序语言中,针对程序执行过程中可能发生的错误或异常情况作出处理的机制。这既是实时程序设计的需要,又可使程序的正常运行部分与出错处理(或异常处理)部分分离,提高了程序的清晰度与可理解性。 说明部分的主要任务是描述或定义各种实体,这里有一个作用域的概念,即每个说明的实体有这样的程序区域,在这个区域内可按定义给出的含义使用该名字。说明实体定义的作用域一般可静态确定,即由直接包含它的程序语法构造确定。与作用域相关的一个概念是作用范围,作用范围是指说明的标识符的可见范围。在分程序结构的语言中,内层作用范围可以不是外层作用范围的一部分。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条