An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces-Reference-Cited by-同舟云学术

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Published: Issue: Volume: Page:208-224
ISSN:0302-9743
Container-title:Interactive Systems. Design, Specification, and Verification
language:
Short-container-title:

Author:

Navarre David,Palanque Philippe,Ladry Jean-François,Basnyat Sandra

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70569-7_20.pdf

Reference26 articles.

1. Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems (1,1 Mo). In: 4th EUROGRAPHICS workshop on design, Granada, Spain, June 5-7, 1997. Springer, Heidelberg (1997)

2. ARINC 661, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661 (2002)

3. ARINC 661-2, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-2 (2005)

4. Bass, L., et al.: A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop. In: SIGCHI Bulletin, vol. 24(1), pp. 32–37 (1992)

5. Lecture Notes in Computer Science;E. Barboni,2007

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models;Human–Computer Interaction Series;2017

2. A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems;International Journal of Human-Computer Studies;2014-01

3. Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems;International Journal of Human-Computer Interaction;2012-10

4. Interface creation and redesign techniques in collaborative learning scenarios;Future Generation Computer Systems;2011-01

5. Rapid Development of Scoped User Interfaces;Human-Computer Interaction. New Trends;2009