(18.206.177.17) 您好!臺灣時間:2021/04/23 03:54
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:劉永泰
研究生(外文):LIU, YONG-TAI
論文名稱:軟體規範工具Typed-FP
指導教授:黃為德黃為德引用關係
指導教授(外文):HUANG, WEI-DE
學位類別:碩士
校院名稱:國立中央大學
系所名稱:資訊及電子工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1986
畢業學年度:74
語文別:中文
中文關鍵詞:軟體規範工具
外文關鍵詞:TYPED-FP
相關次數:
  • 被引用被引用:0
  • 點閱點閱:70
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
如何為複雜系統製做良好的軟體規格,一直是軟體工程中的一大難題,經由傳統的系
統分析法所發展的非正規軟體規格,易生錯誤,不完整和不一致的缺失,導致軟體價
格的上揚。解決之道,軟體發展者必須能夠精確而正式化來描述軟體。
本論文依據John Backus 和John Guttag 所提出的觀念設計並實作了一個型態化功能
程式語言系統,在這套系統中提供了定義函數和抽象化資料型態的結構,根據型態對
等和型態包容的原則,以型態描述子來描述抽象化資料型態,每個抽象化型態可以有
多樣化的表現方式,並使用不變性子句來規範抽象化資料型態的適當表現方式,透過
表現方式,不變性及函數的定義,就可組成一個抽象化資料型態。最後又參考了現有
的程式語為Typcd-FP加入一些如輸出入功能(FP 本身並無I/O),以強化其實用性。
Typed-FP中函數的定義具有層次化和區域化的特性,所以寫出來的軟體規格很容易去
維護,而Typed-FP可直接解譯的特性,所以規格本身就是軟體雛形,使系統分析者可
以早期了解系統的功能是否符合使用者的需求,從而達到增進軟體生產力和降低軟體
費用的目的。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔