Form-Oriented Analysis
A New Methodology to Model Form-Based Applications
Chapter and Conference Paper
This paper deals with questions from convex geometry related to shape matching. In particular, we consider the problem of matching convex figures minimizing the area of the symmetric difference. The main theor...
Chapter
Electron-phonon interaction in polar semiconductor quantum wells attracted a great amount of interest over the last years due to its importance for electronic properties. Particular interest was directed towar...
Chapter and Conference Paper
We present NSP, a new, statically typed server pages technology. NSP supports arrays and user defined types within input forms. It is the result of designing server pages from scratch. It addresses the needs o...
Chapter and Conference Paper
In this paper we provide a discussion of the Model 2 architecture for web interface programming. We show how the main purpose of Model 2, namely separation of concerns, can be achieved solely by functional dec...
Chapter and Conference Paper
Form-Oriented Analysis is an approach tailored to the modeling of systems with form-based, submit/response style interfaces, a distinct and ubiquitous class of software systems. Form-Oriented Analysis models t...
Chapter and Conference Paper
We describe the language and tool Angie for the type-safe specification of Web presentation layers and the subsequent generation of an executable interface prototype. A textual description of a Web based dialo...
Chapter and Conference Paper
In this workshop contribution we discuss general conditions for a lightweight approach to collaborative learning of software engineering organizations and academia. Knowledge acquisition is a cornerstone in bo...
Book
Chapter and Conference Paper
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, classical simultaneous roundtrip...
Chapter and Conference Paper
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 ...
Book and Conference Proceedings
VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers
Chapter and Conference Paper
What are the concepts behind state-of-the-art web application frameworks like Websphere on the commercial side or Struts on the open source side? What are the concepts behind emerging formats and technologies ...
Article
The common key to nearly all processes involving DNA is the hybridization and melting of the double helix: from transmission of genetic information and RNA transcription, to polymerase chain reaction and DNA m...
Chapter and Conference Paper
This paper discusses the notion of a state history diagram. The concept is directly motivated by a new analysis technique, form-oriented analysis, which is tailored to an important class of interactive systems...
Chapter and Conference Paper
There is an increasing gap between web services and web applications. While web services communicate via typed interfaces (e.g., using WSDL and SOAP), many web applications still rely on untyped, manually prog...
Book and Conference Proceedings
2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
Chapter and Conference Paper
Transposable elements, or transposons, are DNA segments that are repeated within the same genome and are an important component of the genomes of most species. It is generally believed that they play an import...
Article
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 graphical user interface (GUI). Most GUI frameworks offer layout ...
Article
The microscopic flexibility of DNA is a key ingredient for understanding its interaction with proteins and drugs but is still poorly understood and technically challenging to measure. Several experimental meth...
Chapter and Conference Paper
One problem encountered in real-time data integration is the join of a continuous incoming data stream with a disk-based relation. In this paper we investigate a stream-based join algorithm, called mesh join (...