메뉴 건너뛰기




Volumn , Issue , 2009, Pages 185-192

Formal description techniques to support the design, construction and evaluation of fusion engines for SURE (Safe, Usable, Reliable and Evolvable) multimodal interfaces

Author keywords

Formal description techniques; Fusion engines; Interactive software engineering; Model based approaches; Multimodal interfaces; Safety critical interactive systems

Indexed keywords

FORMAL DESCRIPTION TECHNIQUES; FUSION ENGINES; INTERACTIVE SOFTWARE ENGINEERING; INTERACTIVE SYSTEM; MULTI-MODAL INTERFACES; SAFETY-CRITICAL;

EID: 74049159846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1647314.1647347     Document Type: Conference Paper
Times cited : (17)

References (35)
  • 1
    • 35448931933 scopus 로고    scopus 로고
    • Barboni E., Conversy S., Navarre D., Palanque P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems (DSV-IS 2006), LNCS, pp. 25-38.
    • Barboni E., Conversy S., Navarre D., Palanque P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems (DSV-IS 2006), LNCS, pp. 25-38.
  • 4
    • 0037712012 scopus 로고    scopus 로고
    • Bastide, R., Navarre, D., and Palanque, P. 2002. A model-based tool for interactive prototyping of highly interactive applications. In CHI '02 Extended Abstracts on Human Factors in Computing Systems (Minneapolis, Minnesota, USA, April 20-25, 2002). CHI '02. ACM, New York, NY, 516-517
    • Bastide, R., Navarre, D., and Palanque, P. 2002. A model-based tool for interactive prototyping of highly interactive applications. In CHI '02 Extended Abstracts on Human Factors in Computing Systems (Minneapolis, Minnesota, USA, April 20-25, 2002). CHI '02. ACM, New York, NY, 516-517
  • 6
    • 38049133989 scopus 로고    scopus 로고
    • Usability Study of Multi-Modal Interfaces using Eye-Tracking
    • Proceedings of INTERACT, Springer Verlag
    • Bernhaupt R., Palanque P., Winckler M., Navarre D. 2007. Usability Study of Multi-Modal Interfaces using Eye-Tracking. Proceedings of INTERACT 2007. LNCS 6643, Springer Verlag.
    • (2007) LNCS , vol.6643
    • Bernhaupt, R.1    Palanque, P.2    Winckler, M.3    Navarre, D.4
  • 8
    • 0019038072 scopus 로고
    • Put-that-there: Voice and gesture at the graphics interface
    • July
    • Bolt R. A., "Put-that-there": Voice and gesture at the graphics interface, ACM SIGGRAPH Computer Graphics, v.14 n.3, p.262-270, July 1980
    • (1980) ACM SIGGRAPH Computer Graphics , vol.14 , Issue.3 , pp. 262-270
    • Bolt, R.A.1
  • 9
    • 14944359485 scopus 로고    scopus 로고
    • Bouchet, J., Nigay, L., and Ganille, T. 2004. ICARE software components for rapidly developing multimodal interfaces. In Proceedings of the 6th international Conference on Multimodal interfaces (State College, PA, USA, October 13-15, 2004). ICMI '04. ACM, New York, NY, 251-258.
    • Bouchet, J., Nigay, L., and Ganille, T. 2004. ICARE software components for rapidly developing multimodal interfaces. In Proceedings of the 6th international Conference on Multimodal interfaces (State College, PA, USA, October 13-15, 2004). ICMI '04. ACM, New York, NY, 251-258.
  • 10
    • 84885236196 scopus 로고    scopus 로고
    • Cohen, P. R., Johnston, M., McGee, D., Oviatt, S., Pittman, J., Smith, I., Chen, L., and Clow, J. 1997. QuickSet: multimodal interaction for distributed applications. In Proceedings of the Fifth ACM international Conference on Multimedia. MULTIMEDIA '97. ACM, New York, NY, 31-40.
    • Cohen, P. R., Johnston, M., McGee, D., Oviatt, S., Pittman, J., Smith, I., Chen, L., and Clow, J. 1997. QuickSet: multimodal interaction for distributed applications. In Proceedings of the Fifth ACM international Conference on Multimedia. MULTIMEDIA '97. ACM, New York, NY, 31-40.
  • 11
    • 74049149013 scopus 로고    scopus 로고
    • Coutaz J., Nigay L., Salber D., Blandford A., May J., Young R. Four Easy Pieces for Assessing the Usability of Multimodal Interaction: The CARE properties. In Proceedings of the INTERACT'95 conference. pages 115-120. 1995. S. A. Arnesen & D. Gilmore Eds., Chapman & Hall Publ., Lillehammer, Norway.
    • Coutaz J., Nigay L., Salber D., Blandford A., May J., Young R. Four Easy Pieces for Assessing the Usability of Multimodal Interaction: The CARE properties. In Proceedings of the INTERACT'95 conference. pages 115-120. 1995. S. A. Arnesen & D. Gilmore Eds., Chapman & Hall Publ., Lillehammer, Norway.
  • 13
    • 9444270305 scopus 로고    scopus 로고
    • A framework for rapid development of multimodal interfaces
    • Vancouver, British Columbia, Canada, November 05-07, ICMI '03. ACM, New York, NY
    • Flippo, F., Krebs, A., and Marsic, I. 2003. A framework for rapid development of multimodal interfaces. In Proceedings of the 5th international Conference on Multimodal interfaces (Vancouver, British Columbia, Canada, November 05-07, 2003). ICMI '03. ACM, New York, NY, 109-116.
    • (2003) Proceedings of the 5th international Conference on Multimodal interfaces , pp. 109-116
    • Flippo, F.1    Krebs, A.2    Marsic, I.3
  • 14
    • 0040629117 scopus 로고
    • Predicate/Transitions Nets
    • K. Jensen and G. Rozenberg (Eds.)Berlin: Springer Verlag
    • Genrich, H. J. 1991. Predicate/Transitions Nets. In High-Levels Petri Nets: Theory and Application . K. Jensen and G. Rozenberg (Eds.)Berlin: Springer Verlag (1991) pp. 3-43.
    • (1991) High-Levels Petri Nets: Theory and Application , pp. 3-43
    • Genrich, H.J.1
  • 16
    • 0023365727 scopus 로고
    • Sci. Comput. Program, Elsevier North-Holland, Inc
    • Harel, D. 1987, "Statecharts: A visual formalism for complex systems." Sci. Comput. Program., Elsevier North-Holland, Inc., 1987, no3, Vol. 8, pp. 231-274.
    • (1987) Statecharts: A visual formalism for complex systems , vol.8 , Issue.NO3 , pp. 231-274
    • Harel, D.1
  • 17
    • 33947708353 scopus 로고    scopus 로고
    • Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
    • Heymann, Michael and Degani, Asaf., "Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm." Human Factors: The Journal of the Human Factors and Ergonomics Society, Vol. 49, pp. 311-330.
    • Human Factors: The Journal of the Human Factors and Ergonomics Society , vol.49 , pp. 311-330
    • Heymann, M.1    Degani, A.2
  • 19
    • 84869122870 scopus 로고    scopus 로고
    • A software model and specification language for non-WIMP user interfaces
    • Mar
    • Jacob, R. J., Deligiannidis, L., and Morrison, S. 1999. A software model and specification language for non-WIMP user interfaces. ACM Trans. Comput.-Hum. Interact. 6, 1 (Mar. 1999), 1-46.
    • (1999) ACM Trans. Comput.-Hum. Interact , vol.6 , Issue.1 , pp. 1-46
    • Jacob, R.J.1    Deligiannidis, L.2    Morrison, S.3
  • 20
    • 20444390925 scopus 로고    scopus 로고
    • Finite-state multimodal integration and understanding
    • Johnston, M. and Bangalore, S. 2005. Finite-state multimodal integration and understanding. Nat. Lang. Eng. 11, 2, 159-187
    • (2005) Nat. Lang. Eng , vol.11 , Issue.2 , pp. 159-187
    • Johnston, M.1    Bangalore, S.2
  • 21
    • 84963813554 scopus 로고    scopus 로고
    • Krahnstoever, N., Kettebekov, S., Yeasin, M., and Sharma, R. 2002. A Real-Time Framework for Natural Multimodal Interaction with Large Screen Displays. In Proceedings of the 4th IEEE international Conference on Multimodal interfaces - 00 (October 14-16, 2002). International Conference on Multimodal Interfaces. IEEE Computer Society, Washington, DC, 349.
    • Krahnstoever, N., Kettebekov, S., Yeasin, M., and Sharma, R. 2002. A Real-Time Framework for Natural Multimodal Interaction with Large Screen Displays. In Proceedings of the 4th IEEE international Conference on Multimodal interfaces - Volume 00 (October 14-16, 2002). International Conference on Multimodal Interfaces. IEEE Computer Society, Washington, DC, 349.
  • 24
    • 84963799143 scopus 로고    scopus 로고
    • Designing transition networks for multimodal VR-interactions using a markup language. Multimodal Interfaces, 2002
    • Latoschik, M.E., 2002. Designing transition networks for multimodal VR-interactions using a markup language. Multimodal Interfaces, 2002. In Proceedings of the Fourth IEEE International Conference. pp. 411-416, 2002.
    • (2002) Proceedings of the Fourth IEEE International Conference , pp. 411-416
    • Latoschik, M.E.1
  • 29
    • 2942742710 scopus 로고    scopus 로고
    • Unified Modelling Language (UML) 2.0 Superstructure Specification
    • Object Management Group:, August, Ptc/03-08-02, pp
    • Object Management Group: Unified Modelling Language (UML) 2.0 Superstructure Specification, August 2003. Ptc/03-08-02, pp. 455-510
    • (2003) , pp. 455-510
  • 30
    • 0002126112 scopus 로고    scopus 로고
    • Ten myths of Multimodal Interaction
    • Oviatt, S. Ten myths of Multimodal Interaction Communication of the ACM; 42: 11: 74-81, 1999.
    • (1999) Communication of the ACM , vol.42 , Issue.11 , pp. 74-81
    • Oviatt, S.1
  • 31
    • 74049092479 scopus 로고    scopus 로고
    • Palanque P., Ladry J-F, Navarre D. & Barboni E. High-Fidelity Prototyping of Interactive Systems can be Formal too 13th Int. Conf. on Human-Computer Interaction (HCI International 2009) San Diego, CA, USA, Springer Verlag, LNCS 5610.
    • Palanque P., Ladry J-F, Navarre D. & Barboni E. High-Fidelity Prototyping of Interactive Systems can be Formal too 13th Int. Conf. on Human-Computer Interaction (HCI International 2009) San Diego, CA, USA, Springer Verlag, LNCS 5610.
  • 32
    • 0014612425 scopus 로고    scopus 로고
    • Parnas, D. L., 1969. On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings 24th National ACM Conference. pp. 379-385. 1969
    • Parnas, D. L., 1969. On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings 24th National ACM Conference. pp. 379-385. 1969
  • 34
    • 79955502841 scopus 로고    scopus 로고
    • Prototyping Preimplementation Designs of Virtual Environment Behaviour
    • Proceedings of the 8th IFIP international Conference on Engineering For Human- Computer interaction May 11-13, Springer-Verlag
    • Willans, J. S. and Harrison, M. D., 2001. Prototyping Preimplementation Designs of Virtual Environment Behaviour. In Proceedings of the 8th IFIP international Conference on Engineering For Human- Computer interaction (May 11-13, 2001). LNCS, vol. 2254. Springer-Verlag, 91-108.
    • (2001) LNCS , vol.2254 , pp. 91-108
    • Willans, J.S.1    Harrison, M.D.2


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