This paper presents a simple example of specifying a drawing system in Z and illuminates object-oriented system specification by adding object-oriented structure to Z.

 
  • 通過(guò)一個(gè)簡(jiǎn)單的繪圖系統實(shí)例闡明了通過(guò)在Z語(yǔ)言中增加面向對象的結構來(lái)實(shí)現面向對象的系統說(shuō)明。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan