English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 51281/86342 (59%)
造訪人次 : 8151608      線上人數 : 66
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/59917


    題名: Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
    作者: Keh, Huan Chao;Shi, Timothy K.
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: Multimedia Database;Object Reuse;Multimedia Presentation;Z Notation;Formal Specification
    日期: 1998-12
    上傳時間: 2013-06-07 10:47:08 (UTC+8)
    出版者: Taipei: Tamkang University
    摘要: The advantages of using a formal specification are in its precise definition of object properties and its declarative description of operations of a system. The Z notation is used widely in the literature of formal system designs and the research of language semantics. In line with the rapid growth of multimedia omputation research, we use the Z notation to describe a multimedia database that supports the reuse of multimedia presentations. The database consists of two layers: the frame layer and the resource layer. A frame group in the first layer is the basic presentation unit to be reused. A resource group in the second layer is a collection of resources to be used by a frame, or a frame group. In the hierarchy, we use four types of links to group frames and/or resources. The main contribution of this paper is in its reuse mechanism of multimedia objects in a multimedia database.
    關聯: 淡江理工學刊=Tamkang Journal of Science and Engineering 1(2), pp.97-114
    DOI: 10.6180/jase.1998.1.2.03
    顯示於類別:[資訊工程學系暨研究所] 期刊論文

    文件中的檔案:

    檔案 大小格式瀏覽次數
    1560-6686_1(2)p97-114.pdf364KbAdobe PDF133檢視/開啟

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章

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