2010年 基礎(chǔ)理論
（1）課題來源與背景
本課題是天津市高等學(xué)校科技發(fā)展基金計劃項目。隨著軟件復(fù)雜性的提高，可信軟件研究已經(jīng)成為國內(nèi)外普遍關(guān)注的研究課題。本課題研究的內(nèi)容—軟件設(shè)計是提高軟件可信性的關(guān)鍵環(huán)節(jié)之一。 （2）研究的目的與意義 現(xiàn)有的軟件設(shè)計方法缺乏理論基礎(chǔ)。本研究用擴(kuò)展有限狀態(tài)機(jī)（EFSM ）監(jiān)控理論為軟件設(shè)計提供理論基礎(chǔ)，把軟件的設(shè)計問... 
|
微信公眾號
服務(wù)熱線
微信公眾號
服務(wù)熱線
