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.