Formal specification of multimedia authoring.
Timothy K. ShihDing-An ChiangHuan-Chao KehChien-Chou ShihPublished in: MMSD (1996)
Keyphrases
- formal specification
- multimedia
- model checking
- specification languages
- object oriented design
- specification language
- e learning
- process algebra
- formal methods
- reverse engineering
- multimedia data
- multimedia content
- authoring tool
- data abstraction
- concurrent systems
- model checker
- software components
- learning objects
- information systems
- metadata
- knowledge base
- protocol specification