loading
Sách, tuyển tập

Interactive Systems. Design, Specification, and Verification

Nhà xuất bản : Springer

Năm xuất bản : 2008

Mô tả vật lý : 319 p.

Số phân loại : 004

Chủ đề : 1. Computer Science. 2. Book.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học quốc gia Hà Nội
https://repository.vnu.edu.vn/handle/VNU_123/24645