Aspect-oriented formal specification for multimedia systems.
Lichen ZhangLihua WangPublished in: AICCSA (2008)
Keyphrases
- multimedia systems
- formal specification
- aspect oriented
- object oriented
- multimedia
- model checking
- multimedia processing
- object oriented design
- software development
- reverse engineering
- process algebra
- development process
- aspect oriented programming
- information retrieval systems
- intelligent multimedia
- business applications
- multimedia information retrieval
- multimedia content
- database systems
- software components
- multimedia databases
- video data
- information retrieval
- concurrent systems
- digital libraries
- multimedia information
- formal methods
- software engineering
- data sets
- software product line
- data mining
- artificial intelligence
- database applications
- databases
- knowledge base
- multimedia data