A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal.
Dohyung KimMinyoung KimSoonhoi HaPublished in: ESTIMedia (2003)
Keyphrases
- multimedia
- software development
- software components
- computer systems
- cd roms
- knowledge level
- texture synthesis
- multimedia content
- software systems
- case study
- artificial intelligence
- multimedia information retrieval
- software design
- high level
- software architecture
- user interface
- multimedia data
- digital libraries
- data model
- formal specification
- digital video
- control system
- website
- formal methods
- source code
- reactive systems
- software engineering