HOPS: A Prototypical Specification Tool for Interactive Systems.

Anke Dittmar Toralf Hübner Peter Forbrig

Published in: DSV-IS (2008)

Keyphrases

interactive systems
human computer interaction
conceptual model
user friendly
overlay network
interactive learning environments
real time
genetic algorithm
artificial intelligence
high level
user interface
software tools
reactive systems
provably correct
digital entertainment