Formal Specification and Prototyping of Multimedia Applications.
Timothy ArndtShi-Kuo ChangAngela GuercioPublished in: Int. J. Softw. Eng. Knowl. Eng. (2000)
Keyphrases
- formal specification
- code generation
- model checking
- specification language
- specification languages
- object oriented design
- multimedia
- rapid prototyping
- reverse engineering
- concurrent systems
- process algebra
- development process
- formal methods
- quality of service
- software components
- multimedia data
- data abstraction
- database
- software development
- high level
- model checker