In this paper we first discuss the key issues in GUI programming and identify abstractions that represent the basic GUI program building blocks. We then describe how the Java Power Tools (JPT) permit a GUI programmer to work at this higher level of abstraction. We present several examples of simple GUIs designed with the JPT to illustrate the use of the JPT idioms. Finally, we discuss the impli...

UNLABELLED MASQOT-GUI provides an open-source, platform-independent software pipeline for two-channel microarray spot quality control. This includes gridding, segmentation, quantification, quality assessment and data visualization. It hosts a set of independent applications, with interactions between the tools as well as import and export support for external software. The implementation of aut...

E-learning with using multimedia and graphical interfaces is now fashionable in some virtual learning environments. Especially, in open colleges, universities and E-learning databases, using these interfaces can improve quality of educating by increasing attraction of educational subjects. In this paper, we introduce this technology and its aspects by defining some Graphical User Interfaces (GU...

Model-based approaches to graphical user interfaces (GUIs) achieved poor acceptance of software engineers because the offer models, architectures, components, frameworks and libraries that restrict the flexibility of development too much. We propose a dialog model which enables flexible development with no restrictions on presentation and application layer and without any implementation-technol...

Die Bereitstellung von elektronischen Komponenten im Automobil in Form von Fahrerassistenzsystemen, Nachrichtenund Unterhaltungsmedien gewinnt zunehmend an Bedeutung und ist längst ein wettbewerbsrelevanter Faktor. Ein Infotainmentsystem ermöglicht durch eine grafische Benutzeroberfläche (GUI) die Interaktion mit diesen Funktionalitäten. Da die Komplexität moderner Infotainmentsysteme aufgrund ...

Implementing Graphical User Interfaces (GUIs) for complex control systems (CS) implies many development challenges, especially for prototyping and refining. We propose to improve current practices by introducing a model-based, domain specific approach to GUI development. Our methodology is founded on the assumption that most information to be used for GUI prototyping can be derived by the CS sp...

This work presents the Digital-Systems Verifier (DSVerifier), which is a verification tool developed for digital systems. In particular, DSVerifier employs the bounded model checking technique based on satisfiability modulo theories (SMT) solvers, which allows engineers to verify the occurrence of design errors, due to the finite word-length approach employed in fixed-point digital filters and ...

A new graphical user interface (GUI) for preprocessing reflectance spectra, built using MATLAB and expressly designed for the ASD FieldSpec® spectroradiometer, was developed to solve problems that generally affect experimental ASD data. The GUI is characterised by an easily readable, graphic visualisation of spectra, from which the absorption band depth (ABD) can be obtained for a selected wave...

This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and test coverage analysis. The test case generation process is initially guided by use cases describing the GUI behavior, recorded as a series of interactions with the application widgets (e.g. widgets being clicked, data input, etc....