Titlebook: Interactive Systems. Design, Specification, and Verification; 13th International W Gavin Doherty,Ann Blandford Conference proceedings 2007

司法权

书目名称Interactive Systems. Design, Specification, and Verification影响因子(影响力)




书目名称Interactive Systems. Design, Specification, and Verification影响因子(影响力)学科排名




书目名称Interactive Systems. Design, Specification, and Verification网络公开度




书目名称Interactive Systems. Design, Specification, and Verification网络公开度学科排名




书目名称Interactive Systems. Design, Specification, and Verification被引频次




书目名称Interactive Systems. Design, Specification, and Verification被引频次学科排名




书目名称Interactive Systems. Design, Specification, and Verification年度引用




书目名称Interactive Systems. Design, Specification, and Verification年度引用学科排名




书目名称Interactive Systems. Design, Specification, and Verification读者反馈




书目名称Interactive Systems. Design, Specification, and Verification读者反馈学科排名

决定性

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/470559.jpg

连锁,连串

失眠症

Formal Modelling of Cognitive Interpretationious cognitive architecture. In particular, we focus on shape related aspects of the interpretation process associated with device input prompts. A cash-point example illustrates our approach. Using the SAL model checking environment, we show how the extended cognitive architecture facilitates detection of prompt-shape induced human error.

鞭打

978-3-540-69553-0Springer-Verlag Berlin Heidelberg 2007

平静生活

Interactive Systems. Design, Specification, and Verification978-3-540-69554-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

Little

记成蚂蚁

Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Informate stringent usability requirements from the MDs. Through a validated low definition prototype of the infection module of ICS, the paper proposes innovative active ways of providing suggestions to MDs on what actions to take.

打算

How Do Developers Meet Users? – Attitudes and Processes in Software Developmentreased understanding of what research that counts in the academic context. Finally I argue that research should focus more on real problems of real development work, rather than on research that is easily publishable.

山羊

Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiTsigner to collect and log data related to the user experiment. Inserting ’probes’ and ’filters’ in NiMMiT interaction diagrams is indeed more efficient than editing the code of the interaction technique itself. We will clarify our approach as applied during a concrete user experiment.