Christof Lutteroth

Learn More
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layout managers that are basically adjustable tables; often adjacent table cells can be merged. In the ALM, the focus switches from the table cells to vertical and horizontal(More)
The Auckland Layout Model (ALM) is a novel technique for specifying layout. It generalizes grid-based layouts as they are widely used for print layout as well as for GUI layout. Qualitatively, in ALM the focus switches from the cells of the grid to the tabstops between cells. Quantitatively, the model permits the specification of constraints based on linear(More)
—Mirror Box therapy is used for rehabilitating stroke patients who have lost control of a hand. The therapy uses mirrors to give patients the illusion that movements of their healthy hand are movements of their impaired hand. The goal of this stimulation is to enable the healthy part of the brain to learn to control the impaired hand. In this paper we(More)
We present a new approach for performing load testing of web applications by simulating realistic user behaviour with stochastic form-oriented analysis models. Realism in the simulation of user behaviour is necessary in order to achieve valid testing results. In contrast to many other user models, web site navigation and time delay are modelled(More)
Health care systems in many developed countries are rapidly approaching a crisis point. The reasons are an aging population, a shrinking number of workers, health care costs increasing faster than the economy, expensive new treatment options, poor public finances, and the reducing pool of health care professionals. The problem is compounded by the fact that(More)
This paper describes a tool for black box reverse engineering of web applications that reconstructs analysis models based on the concepts of form-oriented analysis. Recovering such models is motivated by requirements engineering and load testing. In particular, the paper addresses the problem of screen classification and discusses its conceptual(More)
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks possible for which generic types alone would be insufficient. The power of code generation features are carefully balanced with their safety, so(More)
Layout managers provide an automatic way to place controls in a graphical user interface (GUI). With the wide distribution of fully GUI-enabled smartphones, as well as very large or even multiple personal desktop monitors, the logical size of commonly used GUIs has become highly variable. A layout manager can cope with different size requirements and(More)
With a growing elderly population in many developed countries, technologies for supporting elderly healthcare are becoming more and more important. As technologies such as the Web and consumer level devices evolve, this opens up new opportunities for telehealthcare. In this paper, we discuss how the paradigm known as the Web 2.0 can be leveraged to develop(More)
—Linear relaxation is a common method for solving linear problems as they occur in science and engineering. In contrast to direct methods such as Gauss-elimination or QR-factorization, linear relaxation is inherently efficient for problems with sparse matrices as they are often encountered, for instance, in the application domain of constraint-based UI(More)