淡江大學機構典藏:Item 987654321/7035
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 59600/92896 (64%)
造访人次 : 819288      在线人数 : 44
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/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 ©   - 回馈