메뉴 건너뛰기




Volumn 8, Issue 3-4, 2001, Pages 275-310

Model checking interactor specifications

Author keywords

Automation surprise; Interactive systems; Interactor based specifications; Interface mode confusion; Model checking; Software verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; HUMAN COMPUTER INTERACTION; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROGRAM DIAGNOSTICS; USER INTERFACES;

EID: 0035426807     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011265604021     Document Type: Article
Times cited : (59)

References (44)
  • 4
    • 4243745918 scopus 로고    scopus 로고
    • Design, specification and verification of interactive systems '96
    • Bodart, F. and Vanderdonckt, J. (eds.); Springer Computer Science. Springer-Verlag/Wien
    • (1996)
  • 8
    • 0004592873 scopus 로고    scopus 로고
    • Automated deduction and usability reasoning
    • DPhil thesis, Department of Computer Science, University of York
    • (1999)
    • Campos, J.C.1
  • 9
    • 0004572262 scopus 로고    scopus 로고
    • Formally verifying interactive systems: A review
    • In Harrison and Torres, editors; Springer-Verlag/Wien
    • (1997) , pp. 109-124
    • Campos, J.C.1    Harrison, M.D.2
  • 13
    • 0004620783 scopus 로고
    • ASRS introduces.... ASRS directline (1)
    • (1991)
    • Cheaney, E.1
  • 22
  • 24
    • 0004592875 scopus 로고    scopus 로고
    • DMVIS: Design, modelling and validation of interactive systems
    • In Harrison and Torres, editors, 1997. Springer-Verlag/Wien
    • (1997) , pp. 29-44
    • Fields, B.1    Merriam, N.2    Dearden, A.3
  • 26
    • 0004606449 scopus 로고    scopus 로고
    • Design, specification and verification of interactive systems '97, Springer computer science
    • Harrison, M.D. and Torres, J.C. (eds.); Eurographics, Springer-Verlag/Wien
    • (1997)
  • 29
    • 0004628086 scopus 로고
    • SAS MD-80: Flight management system guide
    • Honeywell Inc., Sperry Commercial Flight Systems Group, Air Transport Systems Division, P.O. Box 21111, Phoenix, Arizona 85036, USA. Pub. No. C28-3642-22-01
    • (1988)
  • 31
    • 4243227370 scopus 로고
    • Lite user manual
    • LOTOSPHERE consortium. Ref. Lo/WP2/N0034/V08
    • (1992)
    • Mañas, J.A.1
  • 38
    • 0004573478 scopus 로고
    • A method for formal specification and verification of interactive systems
    • Ph.D. thesis, Department of Computer Science, University of York
    • (1995)
    • Paternò, F.D.1


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