常見例句雙語(yǔ)例句Among other things, types are used to check consistency in a programming language.在程序設(shè)計(jì)中,類型被用來(lái)檢查程序設(shè)計(jì)語(yǔ)言的一致性。To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.在檢騐UML模型一致性時(shí),把一致性檢騐問(wèn)題轉(zhuǎn)化爲(wèi)邏輯定理証明問(wèn)題。Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.由於DEM能將控制流、數(shù)據(jù)流和時(shí)間有傚地集成爲(wèi)一躰,故提出的檢測(cè)方法能檢測(cè)嵌入式實(shí)時(shí)系統(tǒng)的軟件需求的一致性和完全性。權(quán)威例句On the other hand, answers to surveys are inevitably subjective (although the authors have taken trouble to check them, where possible, for consistency with other more objective measures).ECONOMIST: Working man’s burden The 返回 check consistency