메뉴 건너뛰기




Volumn 24, Issue 10, 1998, Pages 863-888

Automatic support for usability evaluation

Author keywords

Formal methods for human computer interaction; Task models; Usability engineering; User interface evaluation; User interfaces

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; HUMAN COMPUTER INTERACTION; USABILITY ENGINEERING;

EID: 0032178696     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.729686     Document Type: Article
Times cited : (107)

References (24)
  • 7
    • 33747228612 scopus 로고    scopus 로고
    • 8807. ISO Central Secretariat, 1988.
    • ISO Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Based on Temporal Ordering of Observational Behavior, ISO/IS 8807. ISO Central Secretariat, 1988.
    • ISO/IS
    • Behavior, I.S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.