MARTE-based Design of a Multimedia Application and Formal Analysis.

Adolf Samir Abdallah Abdoulaye Gamatié Jean-Luc Dekeyser

Published in: FDL (2008)

Keyphrases

formal analysis
multimedia
design process
engineering design
interactive multimedia
multimedia communication
formal methods
building blocks
rapid prototyping
e learning
case study
learning environment
user interface
knowledge acquisition
agent model