邏輯敘述程式的視覺化

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 研究報告 > Item 987654321/7035

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: 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相关文章

数据加载中.....