This paper proposes a method for user interface development where a model for analysis (Just-UI) and a model for design (DiaMODL) are conveniently combined into an integrated method. Just-UI currently supports automatically refining analysis models, through conceptual patterns to concrete user interface designs. Integrating a dialog modeling language (DiaMODL) into the method, will let the desi...

A versatile multimodal user interface (UI) framework was developed for persons with disability and for older persons to increase autonomy and quality of life. This UI framework covers use cases from single switch use in scanning mode, simplified telephone for older persons based on touchscreen terminal, integration of social media (e.g. Facebook, Twitter) and assistive robots. The evaluation ac...

The World Wide Web is evolving from a platform for information access into a platform for interactive services. Several applications are already used through Internet and Web browsers. User interface of such an application is defined by HTML. However, HTML has its deficiencies when used as a general UI description language. Several parties have addressed this problem by defining specific UI des...

Ideas from tangible interfaces and VR ease a difficult spatial design task: construct a DNA molecule with desired characteristics. Our hybrid interface has both the physical intimacy of tangible media and the versatility of 3D digital display. Two new physical affordances: a raygun and a grip tool, enable kinesthetic control of the addition and removal of structure. We introduce 3D local menus ...

In this paper, we argue that current user interface modeling tools are developed using a formalism-centric approach that does not support the needs of modern software development. In order to solve this problem we need both usable and expressive notations and tools that enable the creation of user-interface specifications that leverage the design and thought process. In this paper we present th...

Achieving correct user interface software is diicult because such software is complex, highly interactive, modeless, concurrent, graphical, and has user-based real-time requirements. In this paper I propose developing a framework for applying formal methods to testing of user interface software. I survey relevant work in the areas of formal development of user interface software and speciicatio...

Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI, an internal representation concerning the code of the UI, and an external representation expressing the look and feel of the UI. While the end user typically manipulates the external representation only, the designe...

Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI, an internal representation concerning the code of the UI, and an external representation expressing the look and feel of the UI. While the end user typically manipulates the external representation only, the designe...