iTasks: executable specifications of interactive work flow systems for the web.

Rinus Plasmeijer Peter Achten Pieter W. M. Koopman

Published in: ICFP (2007)

Keyphrases

website
web environment
interactive systems
management system
formal specification
web resources
learning systems
user friendly
web documents
distributed systems
expert systems
data mining
retrieval systems
intelligent systems
formal methods
learning environment
reactive systems