7. DSV-IS 2000: Limerick, Ireland

Designing Interactive Distributed Systems

Designing User Interfaces

Tools for User Interfaces

Formal Methods for Human-Computer Interaction

Model-Based Design of Interactive Systems

Acknowledgement: The information on this page was contributed by Fabio Paternò