淡江大學機構典藏:Item 987654321/45423
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 62822/95882 (66%)
造访人次 : 4025082      在线人数 : 1162
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/45423


    题名: Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
    作者: 葛煥昭;Keh, Huan-chao;施國琛;Shih, Timothy K.;Wang, C. S.
    贡献者: 淡江大學資訊工程學系
    关键词: Multimedia Database;Object Reuse;Multimedia Presentation;Z Notation;Formal Specification
    日期: 1998-11-23
    上传时间: 2010-03-26 19:14:38 (UTC+8)
    出版者: International Academic Publishers
    摘要: 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.
    關聯: International journal of applied software technology 4(4), p.181-213
    DOI: 10.6180/jase.1998.1.2.03
    显示于类别:[資訊工程學系暨研究所] 期刊論文

    文件中的档案:

    档案 大小格式浏览次数
    Formal Specification in Software Reuse Designs: an Object-Oriented Database Example.html0KbHTML42检视/开启

    在機構典藏中所有的数据项都受到原著作权保护.

    TAIR相关文章

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