A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...