Form-Oriented Analysis
A New Methodology to Model Form-Based Applications
Page
%P
-
Chapter and Conference Paper
Methoden zur Differenzierten Bewirtschaftung bei Sortenfertigung
Bei der Sortenfertigung wird in der Regel auf Lager gefertigt, um Kundenwünsche möglichst schnell befriedigen zu können. Die meist sehr hohen Lagerbestände, die durch die geforderte Lieferbereitschaft, den sch...
-
Chapter and Conference Paper
Matching convex shapes with respect to the symmetric difference
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
Intra- and Intersubband Transition Rates Due to Emission of Optic Phonons in Quantum Wells: Effects of The Subband Nonparabolicity
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
Strongly Typed Server Pages
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
Improving the Web Presentation Layer Architecture
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
Modeling Submit/Response Style Systems with Form Charts and Dialogue Constraints
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
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
Agrarpolitik
Agrarpolitik wird definiert als politisches Handeln im Agrarbereich. Dieser Politikbereich setzt an elementaren Fragen menschlichen Wirtschaftens an: Wie sollen Menschen mit den natürlichen Ressource...
-
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 ...
-
Article
Thermal equivalence of DNA duplexes without calculation of melting temperature
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
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 ...
