Supported by
- EASYCOMP
Easy Composition in Future Generation Component Systems. This project ran
from June 2000 to November 2003 and developed basic composition technology for
software and
active documents.
- HIDOORS
High Integrity Distributed Object-Oriented Real-time Systems. In this
project, we develop a static garbage collector for real-time Java, as well as
a model-checking system for real-time statecharts and sequence diagrams.
- RISE
RISE (Research on Integrational Software Engineering) is a financed by
SSF. It's mission is to develop technology, methods, and tools for
Integrational Software Engineering (ISE). The goal of RISE is to
investigate decomposition and integration mechanisms in all areas of
software engineering.