From Scenarios to Timed Automata: Building Specifications from Users Requirements.

Stéphane S. Somé Rachida Dssouli Jean G. Vaucher

Published in: APSEC (1995)

Keyphrases

timed automata
user requirements
functional requirements
user interface
real time systems
recommender systems
end users
collaborative filtering
model checking
artificial intelligence
design requirements
e learning
web services
user interaction
user experience
answering questions