We describe a process extension to a lazy functional programming system, intended for applications with graphical user interfaces (GUIs). In the extended language, dynamically-created processes communicate by asynchronous message passing. We illustrate the use of the language, including as an extended example a simple board game in which squares are implemented as concurrent processes. We also ...

Why are we creating graphical user interfaces (GUIs, UIs)? It is the first point for the user to meet the application. Users remember daily actions that they perform with applications through the UI. But not only through the visual form, but also through the content-procedural form. They remember the sequences of words naming the components they need to use to carry out their task. If the terms...

This paper presents XXL, a visual+textual environment for the automated building of graphical user interfaces. This system uses a declarative language which is a subset of the C language and can either be interpreted or compiled. It includes an interactive builder that can both handle graphical and non-graphical objects. This tool makes it possible to create highly customized interfaces by visu...

One of the main challenges in the field of Electronic Health Records (EHRs) is semantic interoperability. To utilise the full potential of interoperable EHR systems they have to be accepted by their users, the health care providers. Good Graphical User Interfaces (GUIs) that support customisation and data validation play a decisive role for user acceptance and data quality. This study investiga...

We demonstrate how concepts of communicating agents can be integrated into purely functional languages by an orthogonal extension of the usual I/O monad. These agents communicate via so-called service access points and support programming in the style of client-server architectures. We then show the feasibility of the approach by applying it to the example of graphical user interfaces, which we...

Semantic Web service composition is a discovery process in which a given set of requirements are fulfilled by locating and assembling semantically annotated services. Semantic annotation of Web services is based on expanding the description of Web services with formal semantic models, such as OWLS [2]. These models provide an unambiguous description of service properties by relating them to con...

Studierstube is a system build to develop collaborative augmented reality applications. Interaction in this system is realised by means of the Personal Interaction Panel (PIP), composed of a notebook-sized handheld panel and a pen. Traditional interaction elements are projected on this panel to enable widget interaction and parameter manipulation. To create a user interface on this panel, each ...

Motion can be an effective tool to focus user’s attention and to support the parsing of complex information in graphical user interfaces. Despite the ubiquitous use of motion in animated displays, its effectiveness has been marginal at best. The ineffectiveness of many animated displays may be due to a mismatch between the attributes of motion and the nature of the task at hand. To test this hy...

A Model for the Specification of Abstract User Interfaces based on Conceptual Patterns is proposed to enhance the semantic captured by an object-oriented analysis method. The model gathers both Presentation an Navigation issues. A graphical notation is also provided to make easier the specification tasks. This simple graphical notation allows that a non analyst can understand and participate in...

This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for pro...