Temporal Properties Underlying Multimedia Presentations with Z Notations

ASIA unversity > 資訊學院 > 資訊工程學系 > 期刊論文 > Item 310904400/4853

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/4853

题名:	Temporal Properties Underlying Multimedia Presentations with Z Notations
作者:	Timothy K. Shih;Huan Chao;Ying-Hong Wang;Ying-Feng Kuo
日期:	1999-01
上传时间:	2009-12-03 08:32:01 (UTC+0)
出版者:	Asia University
摘要:	Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of how these properties are implemented. The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal specification statements that we propose in this paper. The system visualizes the design of a multimedia presentation. Our early experience in using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.
關聯:	Journal of Information Science and Engineering 15(1):107-129
显示于类别:	[資訊工程學系] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
		0Kb	Unknown	519	检视/开启
310904400-4853.doc		79Kb	Microsoft Word	345	检视/开启

在ASIAIR中所有的数据项都受到原著作权保护.