UML-based Behavior Specification of Interactive Multimedia Applications.
Stefan SauerGregor EngelsPublished in: HCC (2001)
Keyphrases
- formal methods
- specification language
- high level
- state machine
- uml diagrams
- sequence diagrams
- multimedia
- conceptual modeling
- conceptual models
- computer graphics
- database design
- formal specification
- unified modeling language
- software systems
- software engineering
- object oriented
- modeling language
- software design
- qualitative simulation
- user friendly
- conceptual model
- multimedia data
- test cases
- software development
- constraint language
- relational databases
- database systems