Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language-Reference-Cited by-同舟云学术

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Published:2014-06 Issue: Volume:86 Page:3-29
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Barboni Eric,Martinie Célia,Navarre David,Palanque Philippe,Winckler Marco

Publisher

Elsevier BV

Subject

Software

Reference68 articles.

1. Android http://developer.android.com/.

2. The device model of interaction;Anson,1982

3. SwingStates: adding state machines to the swing toolkit;Appert,2006

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

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

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

1. Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems;Proceedings of the ACM on Human-Computer Interaction;2022-06-14

2. Engineering the Transition of Interactive Collaborative Software from Cloud Computing to Edge Computing;Proceedings of the ACM on Human-Computer Interaction;2022-06-14

3. F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID;Journal of Software: Evolution and Process;2022-03-13

4. Towards a User Interface Description Language Based on Bigraphs;Lecture Notes in Computer Science;2022

5. Engineering Model-Based Software Testing of WIMP Interactive Applications;Proceedings of the ACM on Human-Computer Interaction;2021-05-27