淡江大學機構典藏:Item 987654321/95824
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 62822/95882 (66%)
Visitors : 4018021      Online Users : 824
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version


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


    Title: 邏輯敘述程式的視覺化 Visualization of Well Engineered Logic Specification Programs
    Authors: 施國琛;郭經華;余文祥
    Contributors: 淡江大學資訊工程學系
    Keywords: 規格;軟體工程;視覺化;邏輯程式;SPEC系統;VSPEC系統;Specification;Software Engineering;Visualization;Logic Programming;Spec;Vspec
    Date: 1995-12
    Issue Date: 2014-02-13
    Abstract: Prolog是邏輯敘述程式語言中最受歡迎的一種。但是當一個程式設計者在發展一大型軟體系統時,一個良好的程式發展環境是必需的。 SPEC計畫是作者們早期開發出的產品。但是,SPEC計畫在支援需求分析及系統設計上,仍不夠完美。在這論文中,我們提出一個新的系統-VSPEC,其中包括一邏輯敘述程式瀏覽編輯工具,以及一宣告式邏輯敘述程式的語意分析器,利用一"and-or"的樹狀圖,來表示一個邏輯程式的語意。 VSPEC與一簡化了的SPEC系統結合後,現已可在微軟公司的視窗系統下執行。在此論文中,我們提及新的SPEC語言,以及程式轉換法,將敘述程式轉成邏輯程式。除此之外,我們更設計了一些高階程式指令,以便使用者撰寫更好的邏輯程式。
    Prolog is one of the most popular languages in logic programming. However, when programmers deal with the task of developing large systems. A well-designed programming environment is necessary. The Specification Processing Environment with Controls (SPEC) project was earlier developed by the author. However, it is still lacking supporting tools for the analysis and design of logic programs. In this paper, we propose a visualization environment (VSPEC) that facilitates a hyper-text like navigation of large logic specification programs. In addition to the hyper-text editor, a declarative specification browser utilizing an "and-or" tree showing the semantics of the specification program is also addressed. The visualization tool is integrated with a simplified version of SPEC running on the MS Windows. The revised SPEC language is addressed, followed by a discussion of the program transformation algorithm that generates Prolog programs from their specifications. A number of language constructs are also discussed.
    Relation: 中華民國八十四年全國計算機會議論文集第二冊=Proceedings of National Computer Symposium 1995 Republic of China Volume 2，頁949-956
    Appears in Collections:[Graduate Institute & Department of Computer Science and Information Engineering] Proceeding

    Files in This Item:

    File Description SizeFormat
    邏輯敘述程式的視覺化_中文摘要.docx摘要20KbMicrosoft Word229View/Open
    邏輯敘述程式的視覺化_英文摘要.docx摘要20KbMicrosoft Word165View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.

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