메뉴 건너뛰기




Volumn 2001-May, Issue , 2001, Pages 453-462

A scalable formal method for design and automatic checking of user interfaces

Author keywords

Applications of model checking; Formal methods; GUI design; Human computer interaction (HCI)

Indexed keywords

APPLICATION PROGRAMS; DESIGN; GRAPHICAL USER INTERFACES; HUMAN COMPUTER INTERACTION; MODEL CHECKING; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

EID: 0035017875     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919118     Document Type: Conference Paper
Times cited : (13)

References (17)
  • 4
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • Clarke, E.M., Emerson, A., Sistla, A. P., Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM TOPUS 8(2): 244-263 (1986).
    • (1986) ACM TOPUS , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, A.2    Sistla, A.P.3
  • 6
    • 0034448908 scopus 로고    scopus 로고
    • Automated systematic testing for constraint-based interactive service
    • San Diego, Nov
    • P. Godefroid, L. Jagadeesan, R. Jagadeesan and K. Laufer, Automated Systematic Testing for Constraint-Based Interactive Service, FSE'2000, pp. 40-49, San Diego, Nov. 2000.
    • (2000) FSE'2000 , pp. 40-49
    • Godefroid, P.1    Jagadeesan, L.2    Jagadeesan, R.3    Laufer, K.4
  • 7
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • Harel, D., Statecharts: a visual formalism for complex systems, Science of Comp. Progr. 8, 231-274, 1987.
    • (1987) Science of Comp. Progr. , vol.8 , pp. 231-274
    • Harel, D.1
  • 9
    • 0029288522 scopus 로고
    • A grammatical specification of human-computer dialog
    • April
    • Nymeyer, A., A grammatical specification of human-computer dialog, Comp. Lung., 21(1):1-16, April 1995.
    • (1995) Comp. Lung. , vol.21 , Issue.1 , pp. 1-16
    • Nymeyer, A.1
  • 11
    • 0012086937 scopus 로고
    • Pushdown automata for user interface management
    • July
    • Olsen, D., Pushdown automata for user interface management.ACM Trans.on Graphics, 3(3):177-203, July 1984.
    • (1984) ACM Trans.on Graphics , vol.3 , Issue.3 , pp. 177-203
    • Olsen, D.1
  • 14
    • 0019541171 scopus 로고
    • Formal Grammar and human factor design of an interactive graphics system
    • Reisner, P., Formal Grammar and human factor design of an interactive graphics system. IEEE Trans. on Software Engineering, 7(2), 229-240, 1981.
    • (1981) IEEE Trans. On Software Engineering , vol.7 , Issue.2 , pp. 229-240
    • Reisner, P.1
  • 15
    • 0020102320 scopus 로고
    • Multiparty grammars and related features for defining interactive systems
    • SMC-12
    • Shneidermann, B. Multiparty grammars and related features for defining interactive systems, IEEE Trans. S)W. Man Cyber., SMC-12, 2, 1982, pp. 148-154.
    • (1982) IEEE Trans. S)W. Man Cyber. , vol.2 , pp. 148-154
    • Shneidermann, B.1
  • 17
    • 0023998106 scopus 로고
    • Abstract interaction tool: A language for user-interface management systems
    • van den Boss, J. Abstract interaction tool: a language for user-interface management systems. ACM Trans Prog. Lung Syst., Vol. 10, 1988, pp. 215-247.
    • (1988) ACM Trans Prog. Lung Syst. , vol.10 , pp. 215-247
    • van den Boss, J.1


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