Abstract
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 language | English |
|---|---|
| Pages (from-to) | 107-129 |
| Number of pages | 23 |
| Journal | Journal of Information Science and Engineering |
| Volume | 15 |
| Issue number | 1 |
| State | Published - Jan 1999 |
Keywords
- Logic inference rules
- Multimedia presentations
- Z notations