技術編號：6371280
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明涉及計算機軟件，特別涉及一種智能的UML模型的形式化檢測方法及裝置。背景技術軟件設計開發(fā)過程中，傳統(tǒng)的規(guī)格描述方式UML圖可以表達出軟件的構建和意圖但是不能被有效、智能的驗證其正確性，模型建立的正確性過于依賴軟件需求方與開發(fā)者對于軟件項目本身與軟件工程體系的熟悉，導致軟件在開發(fā)完成后需要更多的人力物力來修正和維護，在對正確性和安全性有高度要求的軍用軟件領域，這一缺陷尤其明顯?，F有解決這一類問題的途徑和方式受于形式化檢測智能性與直觀性的限制，使得當前的...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。