您要查找的是不是:
- The thesis presents a new test case automated generation method based on algebraic specification of ADT. 本文以代数规格说明为基础,提出了一种新的黑盒测试用例生成方法。
- Algebraic specification of ADT is an important source of black-box testing. 抽象数据类型的代数规格说明体系是一种重要的黑盒测试依据。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架,像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
- No specific method has been found to cure LCH. 本病目前尚无特异性的治疗方法。
- First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced. 首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;
- Rudolf Walder: There is not one specific method for hazardous waste management. 鲁道夫·瓦尔德:有害废弃物管理并没有一种特定的方法。
- The gene chip technique is a sensitive and specific method for examining HVP. 基因芯片技术对 HPV检测是一种敏感和特异的方法
- Algebraic Specification of Abstract Data Types 抽象数据类型的代数规格说明
- executable algebraic specification 可执行代数规范
- The purpose of this paper is to provide a kind of formalized specification method for the Role Autonomous Decentrzlized System and lay the foundation for the formalized validation. 摘要旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。
- Presents the design method of cooling-tower-ground-source beet pump systems originated from some literatures, and puts forward the equipment specification method by the authors of this paper. 摘要介绍了几个文献中关于冷却塔-土壤源热泵系统的设计方法,提出了笔者研究的设备选型方法。
- Contextual inquiry forms a solid theoretical foundation for qualitative research, but as a specific method it has some limitations and inefficiencies. 情境调查形成了定性研究的理论基础,但作为一种具体的方法,至少在作者看来,它存在一些限制,而且效率不高。
- The specific methods shall be formulated by the State Council. 具体办法由国务院规定。
- The scientist, however, uses a specific method to make research into these enigmatic problems -- the scientific method. 不过,科学家运用特别的方法--科学的方法,来研究这些深奥的问题。
- The method seems good but it needs to be tried out. 这个方法似乎不错,但需要试验一下。
- The specific method of control shall be formulated by the competent civil aviation authorities under the State Council. 具体管理办法由国务院民用航空主管部门制定。
- STRUCTURED ALGEBRAIC SPECIFICATION OF DFA MODEL AND ITS LANGUAGE DFA模型及其语言的结构化代数规约
- In micrographics, a specific method of computer output microfilming in which a beam of electrons is directed onto an energy sensitive microfilm. 缩微图形技术中,一种专门的计算机输出微缩胶片方法,其中将电子束直接射在对能量敏感的缩微胶片上。
- Objective To establish a sensitive and specific method EITB for the immunodiagnosis of cysticercosis. 目的 应用高度敏感、特异的酶联免疫电转移印迹技术(EITB)诊断囊尾蚴病。
- Finally, the paper offers a specific method and procedure of image reliable transmission based on embedded LINUX. 最后给出了一种在嵌入式LINUX下实现视频图像可靠传输的具体方法和流程。