淡江大學機構典藏:Item 987654321/7035
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 62822/95882 (66%)
造訪人次 : 4015986      線上人數 : 537
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧：
  • 您可在西文檢索詞彙前後加上"雙引號"，以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋，建議至進階搜尋限定作者欄位，可獲得較完整資料
    •  進階搜尋


    請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/7035


    題名: 邏輯敘述程式的視覺化
    其他題名: Visualization of Logic Specification Programs
    作者: 施國琛
    貢獻者: 淡江大學資訊工程研究所
    關鍵詞: 軟體工程;邏輯程式;程式查錯;視覺化;Software engineering;Logic programming;Debugging;Visualization
    日期: 1995
    上傳時間: 2009-03-16 15:39:20 (UTC+8)
    摘要: 邏輯程式(Logic Programming)與傳統程式不一樣 的地方在於它的陳述性(Declarative Programming Property).程式設計者能以敘述的方式告訴電腦 他的需求,而將如何達到此需求的推理工作部分教給電腦.傳統的軟體工程方法(Software Engineering Methodology)著重於資料的流程控制及分 類,無法完全滿足邏輯程式設計者的需求.在SPEC (Specification Processing Environment with Controls)系統 的研發中,我們已經定義了一高階的邏輯敘述 語言(LogicSpecification Language).但發覺SPEC系統也 並不能完全符合其使用者的需要.主要原因是 在於SPEC缺乏一軟體工程方法,設計者無法有效 及系統式地開發他們的軟體.在此計畫中,我們 將發展一套適用於邏輯程式的軟體工程方法, 並開發出一視覺性電腦輔助軟體工程系統( Computer Aided Software EngineeringSystem),以符合邏輯 程式使用者的需求.此系統將建立於SPEC系統上, 在美國微軟公司的視窗系統(Microsoft Windows)下 運行.此系統將包含一hypertext子系統,一程式產 生器(Program Generator),以及一程式查錯器(Debugger) 特別適用於大型邏輯程式的開發.此計畫的研 發,除了對軟體工程方法能有理論性的貢獻外,並能提供一套裝軟體,適用於人造智慧或專家 系統的開發.
    顯示於類別:[資訊工程學系暨研究所] 研究報告

    文件中的檔案:

    沒有與此文件相關的檔案.

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋