The research direction ultimately aims at better methods for software engineering therefore supporting the efforts of Community Projects like ESPRIT-IV, etc. On one side, by combining methods form different areas. On the other side, by extending the focus from logic verification of software to an approximative analysis. Furthermore, there are also indications that the central operator algebraic approach might become important in some very interesting new fields like hydride systems [Grossman and Larson, 1995] or quantum computation [Svozil, 1995].