Formal Specification in Software Reuse Designs: an Object-Oriented Database Example

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 期刊論文 > Item 987654321/45423

請使用永久網址來引用或連結此文件: 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.html	0Kb	HTML	42	檢視/開啟

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

TAIR相關文章