Temporal properties underlying multimedia presentations with Z notations

Timothy K. Shih, Huan Chao Keh, Ying Hong Wang, Ying Feng Kuo

研究成果: 雜誌貢獻期刊論文同行評審

1 引文 斯高帕斯(Scopus)


Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of lion these properties arc 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.

頁(從 - 到)107-129
期刊Journal of Information Science and Engineering
出版狀態已出版 - 1月 1999


深入研究「Temporal properties underlying multimedia presentations with Z notations」主題。共同形成了獨特的指紋。