簡易檢索 / 詳目顯示

研究生: 蔡順慈
Shun-Ci Cai
論文名稱: 一個以整合性軟體工程模式與知識為基礎的快速雛型發展環境
A Knowledge-Based Rapid Prototyping Development Environment Based On An Integrated Software Engineering Paradigm
指導教授: 楊鍵樵
Chen-Chau Yang
口試委員: none
學位類別: 博士
Doctor
系所名稱: 電資學院 - 電子工程系
Department of Electronic and Computer Engineering
論文出版年: 2021
畢業學年度: 79
語文別: 中文
論文頁數: 190
中文關鍵詞: 整合性軟體工程模快速雛型操作方式轉換製作知識庫軟體需求規格語言文字需求規格語言概念模式
外文關鍵詞: AN-INTEGRATED-SOFTWARE-ENGINEE, RAPID-PROTOTYPING, OPERATIONAL-SPECIFICATION, TRANSFORMATIONAL-IMPLEMENTATI, KONWLEDGE-BASED, SRSL, FSRSL, CONCEPTUAL-MODEL
相關次數: 點閱:191下載:0
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報
  • 我們結合快速雛型、操作方式、和轉換製作三種軟體發展模式,形成一個整合性軟體工程模式。根據上整合性模式的特性,設計了一套連貫性的軟體工具,組成一個知試庫快速雛型發展環境(knowledge-based rapid prototyping development environment, KRPDE )。KRPDE包括一個使用者介面,一個知識庫儲存軟體發展的知識,和一個簡單的知識資料庫管理系統。SRSL包括一套圖形化的概念模式表示方法,和一個以框架為基礎的文字式需求規格語言(FSRSL )。概念模式易於表達和理解複雜的系統,概念模式的資訊可完合轉成FSRSL規格,而FSRSL語言可更精確的描述系統的行為與特性。FSRSL 語言改進了自然性建構軟體、性質繼承、可再使用性、和資料庫應用等特性。目前知識庫中存有規格分析和規格轉換的規則。規各分析可檢查FSRSL規格的一致性,FSRSL 規格也可執行做為軟體雛型的驗証,最後被接受的FSRSL規格可直接轉換成程式碼,以做為軟體產品。儲存在資料庫中的規格,可由查尋敘述產生正規化和特殊問題的文件,以供雛型修改和軟體維護參考用。由擷取資料庫內容產生的軟體文件,可確保得到有效且一致的文件。我們用一個醫院資訊系統來闡述 KRPDE系統的應用。


    We combine three kinds of new software development paradigms: rapid prototyping, operational specification, and transformational implementation as an integrated software engineering paradigm. According to the characteristics of the integrated paradigm, we have designed a set of successive of the integrated paradigm. we have designed a set of successive tools for building a knowledge-based repid prototyping development environment (KRPDE). KRPDE contains a user interface, a conceptual model, a frame-based software requirements specification language(FSRSL), a database for storing specification files, a knowledge base for storing rules of software development, and a data and knowledge base management system. The conceptual model is a graphic requirements representation for describing system behaviors. The FSRSL specifications are the internal forms of the conceptual model and further specify datailed activities and constraints. Specifications represented in the conceptual model are more easily comprehended than textual representation, however specifications written in FSRSL are more easily processed. The knowledge base has provided rules for checking the correctness of the FSRSL specifications. The FSRSL specifications can also be executed as a software prototype. If the prototype specifications meet the user''s requirements, they can be automatically transformed into programs of a target language. Specifications stored in the database can the retrieved by a query stystem to generate formal documents and answer particular questions for software development and maintenance. KRPDE has improved software tecniques on naturalness of slftware construction, inheritance properties, reusable specifications, database application, automated program generation, and consistent document generation. An application of KRPDE is provided.

    none

    none

    無法下載圖示 全文公開日期 本全文未授權公開 (校內網路)
    全文公開日期 本全文未授權公開 (校外網路)
    全文公開日期 本全文未授權公開 (國家圖書館:臺灣博碩士論文系統)
    QR CODE