技術(shù)編號(hào):9217046
提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ,登陸完成后,請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。 基于模型的軟件開發(fā)是繼面向?qū)ο蠹夹g(shù)后,又一次軟件設(shè)計(jì)理念和方法的跨越。 基于模型的軟件開發(fā)思想是將"模型"作為軟件設(shè)計(jì)和開發(fā)的核心要素,通過模型清晰地 刻畫軟件系統(tǒng)的功能、性能和安全性等關(guān)鍵特征,準(zhǔn)確描述系統(tǒng)的解決方案;通過形式化方 法對(duì)系統(tǒng)模型加以驗(yàn)證,以確保軟件設(shè)計(jì)的正確性;通過模型驅(qū)動(dòng)方法生成代碼,以保證軟 件設(shè)計(jì)與實(shí)現(xiàn)的一致性。 2004年,美國汽車工程師協(xié)會(huì)SAE (society of automotive engineers)基于15 年的...
注意:該技術(shù)已申請(qǐng)專利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。