简体版 English
登入 註冊

正確性驗證的英文

讀音:
"正確性驗證"怎麼讀用"正確性驗證"造句
英文翻譯手機版
  • verification of correctness
例句與用法
  • After the system is finished , tests should be done to verify the system and results should be analyzed
    系統完成后,采用驗證性實驗進行系統正確性驗證和性能分析。
  • We describe the process of designing and implementing the compositive budget management system in detail . via verifying the validity , it is indicated that using j2ee and mvc model can make the system applicable and reusable
    然后詳細闡述了綜合預算管理系統的設計及實現過程,通過正確性驗證,表明所采用的j2ee技術以及mvc設計模式使得系統具有良好的可重用性以及可適應性。
  • Uml - based software developing process and modeling environments have been widely accepted in the industrial community , which includes the safety areas such as spaceflight , national defense , and automobile , etc . verifying if uml models satisfy the requirements has become a key issue
    基于uml的軟件開發過程和建模環境已被工業界廣泛接受,其中包括航天、國防、汽車等許多安全攸關領域。對uml模型進行正確性驗證以判斷設計規范是否滿足目標需求成為一個關鍵問題。
  • With the wide adoption of distributed real - time system in many areas , such as electronics , aerospace , military , automobile electronics , industry production , much attention has been focused on system schedulability analysis algorithm , which is an important verification method for system schedulability . many researchers have done a lot of research in schedulability analysis algorithm and have achieved many results
    隨著分布式實時系統逐漸得到廣泛的應用,分布式實時系統的可調度性分析算法作為一種重要的實時系統時間正確性驗證手段,也逐漸得到了人們的重視,很多學者對此進行了廣泛的研究。
  • Applying model checking in software design and verification has been proved very difficult . software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems . in this paper a direct model checking method based on kripke structure and matrix algorithm is provided
    將model checking應用到軟件正確性驗證方面被證明是很困難的事情,軟件體系結構sa software architecture通過對復雜軟件系統提供高層與抽象描述,為基于構件化技術的大型軟件系統關鍵性質的驗證提供了有效的途徑。
  • But majority of the productions lack for verification of correction or only check the local expressions during the modeling process , so causing the existence of the deadlock , livelock and other bugs in the model . it causes many problems directly during the dynamic execution of the workflow . so it is important that model and verify the workflow before running
    但由于大多數產品在產品建模過程中缺乏正確性驗證或僅進行局部的語法檢驗,造成工作流模型存在死鎖、活鎖等缺陷,這直接引發了工作流動態執行過程中的諸多問題,如任務不能完成、超期完成等。
用"正確性驗證"造句  
正確性驗證的英文翻譯,正確性驗證英文怎麽說,怎麽用英語翻譯正確性驗證,正確性驗證的英文意思,正确性验证的英文正确性验证 meaning in English正確性驗證怎麼讀,发音,例句,用法和解釋由查查在綫詞典提供,版權所有違者必究。