您要查找的是不是:
- 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下實現視頻圖像可靠傳輸的具體方法和流程。