Formal model of temporal properties underlying multimedia presentations

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

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

题名:	Formal model of temporal properties underlying multimedia presentations
作者:	Shih, Timothy K.;Hwang, Lain-jinn;Tsai, Jich-yan
贡献者:	淡江大學資訊工程學系
关键词:	Multimedia;Formal specification;Specification language;Information layout;System design;Inference rule;Synchronization;Temporal logic;User interface;Implementation;Interactive system;Information technology
日期:	1997-07-01
上传时间:	2011-10-24 01:13:43 (UTC+8)
摘要:	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 visualize the design of a multimedia presentation. The early experience of using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.
關聯:	1997 international conference of multimedia computing and systems, pp.135-150
显示于类别:	[資訊工程學系暨研究所] 期刊論文

文件中的档案:

没有与此文件相关的档案.

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

TAIR相关文章