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

司法權(quán)

書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)




書目名稱Interactive Systems. Design, Specification, and Verification影響因子(影響力)學(xué)科排名




書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開度




書目名稱Interactive Systems. Design, Specification, and Verification網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Interactive Systems. Design, Specification, and Verification被引頻次




書目名稱Interactive Systems. Design, Specification, and Verification被引頻次學(xué)科排名




書目名稱Interactive Systems. Design, Specification, and Verification年度引用




書目名稱Interactive Systems. Design, Specification, and Verification年度引用學(xué)科排名




書目名稱Interactive Systems. Design, Specification, and Verification讀者反饋




書目名稱Interactive Systems. Design, Specification, and Verification讀者反饋學(xué)科排名

決定性

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.