咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Interactive Systems: Design, S... 收藏

Interactive Systems: Design, Specification, and Verification

丛 书 名:Lecture Notes in Computer Science

版本说明:1

作     者:Chris Johnson 

I S B N:(纸本) 9783540428077 

出 版 社:Springer Berlin  Heidelberg 

出 版 年:1000年

页      数:XII, 221页

主 题 词:User Interfaces and Human Computer Interaction Computer Applications Computer Hardware Computer Graphics Software Engineering Logics and Meanings of Programs 

摘      要:This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.;The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分