메뉴 건너뛰기




Volumn 16, Issue 4, 2009, Pages

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

Author keywords

Formal description techniques; Interactive prototyping; Interactive software engineering; Model based approaches; Safetycritical interactive systems; User interface description language

Indexed keywords

FORMAL DESCRIPTION TECHNIQUES; INTERACTIVE PROTOTYPING; INTERACTIVE SOFTWARE ENGINEERING; INTERACTIVE SYSTEM; SAFETY-CRITICAL; USER INTERFACE DESCRIPTION LANGUAGES;

EID: 71449097044     PISSN: 10730516     EISSN: 15577325     Source Type: Journal    
DOI: 10.1145/1614390.1614393     Document Type: Article
Times cited : (145)

References (65)
  • 3
    • 71449088083 scopus 로고    scopus 로고
    • ARINC specification 661-662 prepared by airlines electronic engineering committee
    • ARINC 661-2
    • ARINC 661-2. 2005. ARINC Specification 661-662 Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems.
    • (2005) Cockpit Display System Interfaces to User Systems
  • 5
    • 46749111416 scopus 로고    scopus 로고
    • Model-Based engineering of widgets, user applications and servers compliant with ARINC 661 specification
    • Proceedings of the 13th Conference on Design Specification and Verification of Interactive Systems (DSVIS'06). Springer
    • BARBONI, E., CONVERSY, S., NAVARRE, D., AND PALANQUE, P. 2006. Model-Based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In Proceedings of the 13th Conference on Design Specification and Verification of Interactive Systems (DSVIS'06). Lecture Notes in Computer Science, Springer.
    • (2006) Lecture Notes in Computer Science
    • Barboni, E.1    Conversy, S.2    Navarre, D.3    Palanque, P.4
  • 7
    • 33746695975 scopus 로고    scopus 로고
    • Multidisciplinary perspective on accident investigation
    • BASNYAT, S., CHOZOS, N., AND PALANQUE, P. 2006. Multidisciplinary perspective on accident investigation. Reliab. Engin. Syst. Safety 91, 12, 1502-1520.
    • (2006) Reliab. Engin. Syst. Safety , vol.91 , Issue.12 , pp. 1502-1520
    • Basnyat, S.1    Chozos, N.2    Palanque, P.3
  • 10
    • 84958971309 scopus 로고    scopus 로고
    • Petri net based behavioral specification of CORBA systems
    • Proceedings of the International Conference on Application and Theory of Petri nets (ATPN'99). Springer
    • BASTIDE, R., PALANQUE, P.,OUSMANE, S., LE,D.-H., ANDNAVARRE,D. 1999. Petri net based behavioral specification of CORBA systems. In Proceedings of the International Conference on Application and Theory of Petri nets (ATPN'99). Lecture Notes in Computer Science. Springer.
    • (1999) Lecture Notes in Computer Science
    • Bastide, R.1    Pousmane, L.S.2    Navarre, D.3
  • 13
    • 71449113540 scopus 로고    scopus 로고
    • Model-Based evaluation: A new way to support usability evaluation of multimodal interactive applications
    • E. Law, E. Thora Hvannberg, G. Cockton, and J. Vanderdonckt, Eds., HCI Series, Springer
    • BERNHAUPT, R., NAVARRE, D., PALANQUE, P., AND WINCKLER, M. 2007. Model-Based evaluation: A new way to support usability evaluation of multimodal interactive applications. In Maturing Usability: Quality in Software, Interaction and Quality, E. Law, E. Thora Hvannberg, G. Cockton, and J. Vanderdonckt, Eds., HCI Series, Springer.
    • (2007) Maturing Usability: Quality in Software, Interaction and Quality
    • Bernhaupt, R.1    Navarre, D.2    Palanque, P.3    Winckler, M.4
  • 16
    • 0010276140 scopus 로고
    • A three-state model of graphical input
    • D. Diaper, D. J. Gilmore, G. Cockton, and B. Shackel, Eds. North-Holland Publishing, Amsterdam, The Netherlands
    • BUXTON, W. 1990. A three-state model of graphical input. In Proceedings of the IFIP Tc13 3rd International Conference on Human-Computer Interaction, D. Diaper, D. J. Gilmore, G. Cockton, and B. Shackel, Eds. North-Holland Publishing, Amsterdam, The Netherlands, 449-456.
    • (1990) Proceedings of the IFIP Tc13 3rd International Conference on Human-Computer Interaction , pp. 449-456
    • Buxton, W.1
  • 17
    • 0022095590 scopus 로고
    • Squeak: A language for communicating with mice
    • CARDELLI, L. AND PIKE, R. 1985. Squeak: A language for communicating with mice. SIGGRAPH Comput. Graph. 19, 3, 199-204.
    • (1985) SIGGRAPH Comput. Graph. , vol.19 , Issue.3 , pp. 199-204
    • Cardelli, L.1    Pike, R.2
  • 19
    • 35448962450 scopus 로고    scopus 로고
    • Integrating support for usability evaluation into high level interaction descriptions with nimmit
    • Interactive Systems: Design, Specification, and Verification. Springer
    • CONINX, K., CUPPENS, E., DE BOECK, J., AND RAYMAEKERS, C. 2007. Integrating support for usability evaluation into high level interaction descriptions with nimmit. In Interactive Systems: Design, Specification, and Verification. Lecture Notes in Computer Science. Springer.
    • (2007) Lecture Notes in Computer Science
    • Coninx, K.1    Cuppens, E.2    De Boeck, J.3    Raymaekers, C.4
  • 25
    • 0040629117 scopus 로고
    • Predicate/Transitions nets
    • K. Jensen and G. Rozenberg, Eds. Springer
    • GENRICH, H. J. 1991. Predicate/Transitions nets. In High-Levels Petri Nets: Theory and Application, K. Jensen and G. Rozenberg, Eds. Springer, 3-43.
    • (1991) High-Levels Petri Nets: Theory and Application , pp. 3-43
    • Genrich, H.J.1
  • 26
    • 0022753706 scopus 로고
    • A survey of three dialog models
    • GREEN, M. 1986. A survey of three dialog models. ACM Trans. Graph. 5, 3, 244-275.
    • (1986) ACM Trans. Graph. , vol.5 , Issue.3 , pp. 244-275
    • Green, M.1
  • 30
    • 71449103578 scopus 로고
    • Common user access: Advanced interface design guide
    • IBM
    • IBM. 1989. Common user access: Advanced interface design guide. IBM, SC26-4582-4590
    • (1989) IBM, SC26-4582-4590
  • 31
    • 0022798111 scopus 로고
    • A specification language for direct-manipulation user interfaces
    • JACOB, R. J. 1986. A specification language for direct-manipulation user interfaces. ACM Trans. Graph. 5, 4, 283-317.
    • (1986) ACM Trans. Graph. , vol.5 , Issue.4 , pp. 283-317
    • Jacob, R.J.1
  • 32
  • 33
    • 34249933531 scopus 로고    scopus 로고
    • Coloured Petri nets and CPN tools for modeling and validation of concurrent systems
    • JENSEN, K., KRISTENSEN, L., AND WELLS, L. 2007. Coloured Petri nets and CPN tools for modeling and validation of concurrent systems. Int. J. Softw.Tools Technol. Transfer 9, 3, 213-254.
    • (2007) Int. J. Softw.Tools Technol. Transfer , vol.9 , Issue.3 , pp. 213-254
    • Jensen, K.1    Kristensen, L.2    Wells, L.3
  • 38
    • 74049159846 scopus 로고    scopus 로고
    • Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces
    • LADRY. J-F., NAVARRE, D., AND PALANQUE, P. 2009. Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. In Proceedings of the 10th International Conference on Multimodal Interfaces (ICMI'09).
    • (2009) Proceedings of the 10th International Conference on Multimodal Interfaces (ICMI'09)
    • Ladry., J.-F.1    Navarre, D.2    Palanque, P.3
  • 39
    • 0005966136 scopus 로고
    • #91-1, Department of Computer Science, University of Tasmania
    • LAKOS, C. 1991. Language for object-oriented Petri nets. #91-1. Department of Computer Science, University of Tasmania.
    • (1991) Language for Object-oriented Petri Nets
    • Lakos, C.1
  • 41
    • 24344440913 scopus 로고    scopus 로고
    • USIXML: A language supporting multi-path development of user interfaces
    • Proceedings of EHCI-DSVIS'04 Conference. Springer
    • LIMBOURG, Q., VANDERDONCK, J., MICHOTTER, M., BOUILLON, L., AND LOPEZ-JAQUERO, V. 2005. USIXML: A language supporting multi-path development of user interfaces. In Proceedings of EHCI-DSVIS'04 Conference. Lecture Notes in Computer Science, vol.3425. Springer, 200-220.
    • (2005) Lecture Notes in Computer Science , vol.3425 , pp. 200-220
    • Limbourg, Q.1    Vanderdonck, J.2    Michotter, M.3    Bouillon, L.4    Lopez-Jaquero, V.5
  • 43
    • 79953869183 scopus 로고    scopus 로고
    • Structuring interactive systems specifications for executability and prototypability
    • Proceedings of the 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'00). Springer
    • NAVARRE, D., PALANQUE, P., BASTIDE, R., AND SY, O. 2000. Structuring interactive systems specifications for executability and prototypability. In Proceedings of the 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'00). Lecture Notes in Computer Science. Springer.
    • (2000) Lecture Notes in Computer Science
    • Navarre, D.1    Palanque, P.2    Bastide, R.3    Sy, O.4
  • 46
    • 33646000296 scopus 로고    scopus 로고
    • A formal description of multimodal interaction techniques for immersive virtual reality applications
    • Proceedings of the INTERACT'05 Conference. Springer
    • NAVARRE, D., PALANQUE, P., BASTIDE, R., SCHYN, A., WINCKLER, M., NEDEL, L., AND FREITAS, C. 2005. A formal description of multimodal interaction techniques for immersive virtual reality applications. In Proceedings of the INTERACT'05 Conference. Lecture Notes in Computer Science, Springer.
    • (2005) Lecture Notes in Computer Science
    • Navarre, D.1    Palanque, P.2    Bastide, R.3    Schyn, A.4    Winckler, M.5    Nedel, L.6    Freitas, C.7
  • 47
    • 56449107874 scopus 로고    scopus 로고
    • Usability service continuation through reconfiguration of input and output devices in safety critical interactive systems
    • Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08).M. D. Harrison and M.-A. Sujan, Eds. Springer
    • NAVARRE, D., PALANQUE, P., AND BASNYAT, S. 2008. Usability service continuation through reconfiguration of input and output devices in safety critical interactive systems. In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), M. D. Harrison and M.-A. Sujan, Eds. Lecture Notes in Computer Science, vol.5219. Springer, 373-386.
    • (2008) Lecture Notes in Computer Science , vol.5219 , pp. 373-386
    • Navarre, D.1    Palanque, P.2    Basnyat, S.3
  • 52
    • 0002251260 scopus 로고    scopus 로고
    • Formal specification as a tool for objective assessment of safety-critical interactive systems
    • Chapman and Hall
    • PALANQUE, P., BASTIDE, R., AND PATERNO, F. 1997. Formal specification as a tool for objective assessment of safety-critical interactive systems. In Proceedings of the Interact'97 Conference. Chapman and Hall.
    • (1997) Proceedings of the Interact'97 Conference
    • Palanque, P.1    Bastide, R.2    Paterno, F.3
  • 54
    • 0014612425 scopus 로고
    • On the use of transition diagrams in the design of a user interface for an interactive computer system
    • PARNAS, D. L. 1969. On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings of the 24th National ACM Conference. 379-385.
    • (1969) Proceedings of the 24th National ACM Conference , pp. 379-385
    • Parnas, D.L.1
  • 55
    • 0004068620 scopus 로고
    • Rheinisch-Westfaliches Institut fur Intrumentelle Mathematik an der Universitat Bonn, Schrift Nr 2
    • PETRI, C. A. 1962. Kommunikation mit Automaten. Rheinisch-Westfaliches Institut fur Intrumentelle Mathematik an der Universitat Bonn, Schrift Nr 2.
    • (1962) Kommunikation Mit Automaten
    • Petri, C.A.1
  • 56
    • 44349188370 scopus 로고    scopus 로고
    • Human factors in avionics certification
    • RILEY, V. 2004. Human factors in avionics certification. Avionics Mag. 28, 9, 42-46.
    • (2004) Avionics Mag , vol.28 , Issue.9 , pp. 42-46
    • Riley, V.1
  • 60
    • 12244280215 scopus 로고    scopus 로고
    • Using CSP to specify interaction in virtual environments
    • University of York
    • SMITH, S. AND DUKE, D. 1999. Using CSP to specify interaction in virtual environments. Tech. rep. YCS 321. University of York.
    • (1999) Tech. Rep. YCS 321
    • Smith, S.1    Duke, D.2
  • 63
    • 71449112045 scopus 로고
    • Graphical toolkit approach to user interaction description
    • S. P. Robertson, G. M. Olson, and J. S. Olson, Eds. ACM, New York
    • TATSUKAWA, K. 1991. Graphical toolkit approach to user interaction description. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'91), S. P. Robertson, G. M. Olson, and J. S. Olson, Eds. ACM, New York, 323-328.
    • (1991) Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'91) , pp. 323-328
    • Tatsukawa, K.1
  • 65
    • 79955502841 scopus 로고    scopus 로고
    • Prototyping pre-implementation designs of virtual environment behavior
    • Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction. M. R. Little and L. Nigay, Eds. Springer
    • WILLANS, J. S. AND HARRISON, M. D. 2001. Prototyping pre-implementation designs of virtual environment behavior. In Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction, M. R. Little and L. Nigay, Eds. Lecture Notes In Computer Science, vol.2254. Springer, 91-108.
    • (2001) Lecture Notes in Computer Science , vol.2254 , pp. 91-108
    • Willans, J.S.1    Harrison, M.D.2


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