您要查找的是不是：
- The thesis presents a new test case automated generation method based on algebraic specification of ADT. 本文以代數規格說(shuō)明為基礎，提出了一種新的黑盒測試用例生成方法。
- Algebraic specification of ADT is an important source of black-box testing. 抽象數據類(lèi)型的代數規格說(shuō)明體系是一種重要的黑盒測試依據。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是強大的框架，像Hoare邏輯、代數規范語(yǔ)言、模型邏輯和形式語(yǔ)義學(xué)。
- No specific method has been found to cure LCH. 本病目前尚無(wú)特異性的治療方法。
- 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. 首先給出了一種基于抽象數據類(lèi)型的代數規格說(shuō)明語(yǔ)言ASL：然后介紹了由ASL描述的規格說(shuō)明到PROLOG轉換 的形式化方法；
- Rudolf Walder: There is not one specific method for hazardous waste management. 魯道夫·瓦爾德：有害廢棄物管理并沒(méi)有一種特定的方法。
- The gene chip technique is a sensitive and specific method for examining HVP. 基因芯片技術(shù)對 HPV檢測是一種敏感和特異的方法
- Algebraic Specification of Abstract Data Types 抽象數據類(lèi)型的代數規格說(shuō)明
- 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. 摘要介紹了幾個(gè)文獻中關(guān)于冷卻塔-土壤源熱泵系統的設計方法，提出了筆者研究的設備選型方法。
- Contextual inquiry forms a solid theoretical foundation for qualitative research, but as a specific method it has some limitations and inefficiencies. 情境調查形成了定性研究的理論基礎，但作為一種具體的方法，至少在作者看來(lái)，它存在一些限制，而且效率不高。
- The specific methods shall be formulated by the State Council. 具體辦法由國務(wù)院規定。
- The scientist, however, uses a specific method to make research into these enigmatic problems -- the scientific method. 不過(guò)，科學(xué)家運用特別的方法--科學(xué)的方法，來(lái)研究這些深奧的問(wèn)題。
- The method seems good but it needs to be tried out. 這個(gè)方法似乎不錯，但需要試驗一下。
- The specific method of control shall be formulated by the competent civil aviation authorities under the State Council. 具體管理辦法由國務(wù)院民用航空主管部門(mén)制定。
- STRUCTURED ALGEBRAIC SPECIFICATION OF DFA MODEL AND ITS LANGUAGE DFA模型及其語(yǔ)言的結構化代數規約
- In micrographics, a specific method of computer output microfilming in which a beam of electrons is directed onto an energy sensitive microfilm. 縮微圖形技術(shù)中,一種專(zhuān)門(mén)的計算機輸出微縮膠片方法,其中將電子束直接射在對能量敏感的縮微膠片上。
- Objective To establish a sensitive and specific method EITB for the immunodiagnosis of cysticercosis. 目的 應用高度敏感、特異的酶聯(lián)免疫電轉移印跡技術(shù)(EITB)診斷囊尾蚴病。
- Finally, the paper offers a specific method and procedure of image reliable transmission based on embedded LINUX. 最后給出了一種在嵌入式LINUX下實(shí)現視頻圖像可靠傳輸的具體方法和流程。
