抽樣數據類在軟體發展上的應用

Abstract

利用抽象化來幫助軟體的分析與設計早為人們所熟知, 但關於實際運用資料抽象化於 軟體發展的技術始終來臻理想, 從概念上的抽象化到可執行的一些實際表達方式其間 需要一整套的方法, 其中包括(1) 描述的方法──如何把一個複雜的現象以易懂而嚴 謹的格式來說明。(2) 推演的方法──如何由描述的結果依某些既定的演譯法則推出 其實際的結構。(3) 驗證的方法──如何去證明描述的結果是正確的, 如何去證明推 演出來的結果是正確的。本文中針對一種描述方法──代數描述法提出相對應之推演 的方法及驗證法則, 並對將這系列運用方法應用於軟體發展上作了一番探討。