Design, specification, and verification of interactive systems
Philippe A. Palanque, Fabio Paternò · ACM SIGSOFT Software Engineering Notes · 2001
More and more software applications are being developed to allow users to access data and communicate information. The parts of such applications dedicated to supporting user interactions is increasingly important and requires novel methods and techniques to develop effective user interfaces. DSV-IS'2000 provided experts from many countries of the world with the unique opportunity to meet and discuss the current state of art and new research results in this area.