|
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;
INTERACTOR BASED SPECIFICATIONS;
INTERFACE MODE CONFUSION;
MODEL CHECKING;
SOFTWARE VERIFICATION;
SOFTWARE ENGINEERING;
|
EID: 0035426807
PISSN: 09288910
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1011265604021 Document Type: Article |
Times cited : (59)
|
References (44)
|