Form-Oriented Analysis
A New Methodology to Model Form-Based Applications
Page
%P
28 Result(s)
within
Gerald Weber
Computer Science
-
Chapter and Conference Paper
Specification and Generation of Model 2 Web Interfaces
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
Co-knowledge Acquisition of Software Organizations and Academia
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
Integrated Model-Based Software Development, Data Access, and Data Migration
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
A Type System for Reflective Program Generators
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
Trends in Enterprise Application Architecture
VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers
-
Chapter and Conference Paper
Conceptual Modeling for Emerging Web Application Technologies
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 ...
-
Chapter and Conference Paper
Finite State History Modeling and Its Precise UML-Based Semantics
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
A Spreadsheet Client for Web Applications
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
Trends in Enterprise Application Architecture
2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
-
Chapter and Conference Paper
Identity Transposon Networks in D. melanogaster
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
Domain Specific High-Level Constraints for User Interface Layout
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 ...
-
Chapter and Conference Paper
Comparing Global Optimization and Default Settings of Stream-Based Joins
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 (...
-
Chapter and Conference Paper
X-HYBRIDJOIN for Near-Real-Time Data Warehousing
In order to make timely and effective decisions, businesses need the latest information from data warehouse repositories. To keep these repositories up-to-date with respect to end user updates, near-real-time ...
-
Chapter and Conference Paper
Efficient Usage of Memory Resources in Near-Real-Time Data Warehousing
In the context of near-real-time data warehousing the user’s updates generated at data source level need to be stored into warehouse as soon as they occur. Before loading these updates into the warehouse they ...
-
Chapter and Conference Paper
A Parametric Analysis of Stream Based Joins
Online stream processing is an emerging research area in the field of computer science. Common examples where online stream processing is important are network traffic monitoring, web log analysis and real-tim...
-
Chapter and Conference Paper
A Lightweight Stream-Based Join with Limited Resource Consumption
Many stream-based applications have plenty of resources available to them, but there are also applications where resource consumption must be limited. For one important class of stream-based joins, where a str...
-
Chapter and Conference Paper
SSCJ: A Semi-Stream Cache Join Using a Front-Stage Cache Module
Semi-stream processing has become an emerging area of research in the field of data stream management. One common operation in semi-stream processing is joining a stream with disk-based master data using a joi...
-
Chapter and Conference Paper
An Evaluation of Stacking and Tiling Features within the Traditional Desktop Metaphor
Having many open windows on the desktop can lead to various usability problems. Window content may get occluded by other windows and working with multiple windows may get cumbersome. In this paper, we evaluate...
-
Chapter and Conference Paper
Evaluating Direct Manipulation Operations for Constraint-Based Layout
Layout managers are used to control the placement of widgets in graphical user interfaces (GUIs). Constraint-based layout managers are more powerful than other ones. However, they are also more complex and the...
