Verifying Hypermedia Applications by Using an MDE Approach.

Delcino Picinin Júnior Cristian Koliver Celso A. S. Santos Jean-Marie Farines

Published in: SAM (2014)

Keyphrases

complex systems
digital libraries
multiple representations
hypermedia systems
educational hypermedia
model checking
real world
pattern recognition
multimedia
databases
decision making
data streams
multimedia information systems