Title :
Design, specification, and verification of interactive systems
Author :
Palanque, Philippe ; Paternò, Fabio
Author_Institution :
CNUCE-CNR
Keywords :
Application software; Computer architecture; Context modeling; Human computer interaction; Interactive systems; Least squares approximation; Permission; Software engineering; Usability; User interfaces;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870518