邏輯敘述程式的視覺化

機構典藏 > College of Engineering > Graduate Institute & Department of Computer Science and Information Engineering > Research Paper > Item 987654321/7035

Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/7035

Title:	邏輯敘述程式的視覺化
Other Titles:	Visualization of Logic Specification Programs
Authors:	施國琛
Contributors:	淡江大學資訊工程研究所
Keywords:	軟體工程;邏輯程式;程式查錯;視覺化;Software engineering;Logic programming;Debugging;Visualization
Date:	1995
Issue Date:	2009-03-16 15:39:20 (UTC+8)
Abstract:	邏輯程式(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) 特別適用於大型邏輯程式的開發.此計畫的研發,除了對軟體工程方法能有理論性的貢獻外,並能提供一套裝軟體,適用於人造智慧或專家系統的開發.
Appears in Collections:	[Graduate Institute & Department of Computer Science and Information Engineering] Research Paper

Files in This Item:

There are no files associated with this item.

Loading...