"查查詞典"手機(jī)版
千萬人都在用的超大詞匯詞典翻譯APP
- Preventing common bugs with temporal logic assertions
用時(shí)態(tài)邏輯斷言防止常見錯(cuò)誤 - temporal logic can help make these assertions
時(shí)態(tài)邏輯可以幫助產(chǎn)生這些斷言。 - Assertions and temporal logic in java programming
java編程中的斷言和時(shí)態(tài)邏輯 - Introduce temporal logic to assertions to supplement testing
將時(shí)態(tài)邏輯引入斷言來補(bǔ)充測(cè)試 - temporal logic assertions can help to diagnose such bugs
時(shí)態(tài)邏輯可以有助于診斷此類錯(cuò)誤。 - Listing 1 shows some examples of temporal logic assertions
清單1顯示了一些時(shí)態(tài)邏輯斷言示例: - Diagnosing java code : using temporal logic with bug patterns
診斷java代碼:將時(shí)態(tài)邏輯用于錯(cuò)誤模式 - The semantics and generalized tautology of fuzzy temporal logic
模糊時(shí)序邏輯的語義及其廣義重言式 - Using temporal logic with bug patterns
將時(shí)態(tài)邏輯用于錯(cuò)誤模式 - These modal operators are usually available in temporal logic
通常,下列模態(tài)操作符可用于時(shí)態(tài)邏輯: