技術(shù)編號：6506150
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。一種軟件規(guī)范開發(fā)輔助方法以及軟件規(guī)范開發(fā)輔助裝置。規(guī)范檢查部，對于從命題規(guī)則保存部取得的任意的檢查對象的命題形式的規(guī)范和其任意的比較對象的命題形式的規(guī)范，判定2個命題形式的規(guī)范是否矛盾或重復(fù)，如果矛盾或重復(fù)，則將所述作為檢查對象的命題形式的規(guī)范分解為與比較對象的命題形式的規(guī)范矛盾或重復(fù)的命題形式的規(guī)范、以及與比較對象的命題形式的規(guī)范不矛盾或不重復(fù)的命題形式的規(guī)范，登錄在檢查結(jié)果保存部中，決定表生成部從檢查結(jié)果保存部取得所述命題形式的規(guī)范的任意一方或雙方，關(guān)...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。