next up previous
Next: References Up: Search and Optimization in Previous: 6./7. Links with

8. Relevance of Proposal to Community Policies

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].

Herbert Wiklicky
Fri Jun 14 13:32:12 BST 1996