Temporal properties underlying multimedia presentations with Z notations

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

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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.

Original languageEnglish
Pages (from-to)107-129
Number of pages23
JournalJournal of Information Science and Engineering
Issue number1
StatePublished - Jan 1999


  • Logic inference rules
  • Multimedia presentations
  • Z notations


Dive into the research topics of 'Temporal properties underlying multimedia presentations with Z notations'. Together they form a unique fingerprint.

Cite this