Formal methods in human-computer interaction
Formal methods in human-computer interaction
Software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Hi-index | 0.00 |
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.