循環(huán)結(jié)構(gòu)的形式化推導(dǎo)
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>368 K
所需積分：0分積分不夠怎么辦？
文檔介紹：介紹了Dijkstra的形式化推導(dǎo)方法的主要思想、步驟及要點。該方法主張程序開發(fā)和程序證明同時進(jìn)行，先確定好描述程序功能的斷言，再通過形式化方法推導(dǎo)出正確的程序。選擇具有代表性的循環(huán)結(jié)構(gòu)的實例進(jìn)行推導(dǎo)證明，并對循環(huán)結(jié)構(gòu)的形式化推導(dǎo)進(jìn)行闡述說明。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。