Diese Seite auf deutsch
SearchDesign Methodology for Reactive Systems(inactive)
| Start date: | 01.01.1998 |
| End date: | 31.12.1998 |
| Duration: | 01.01.1998 - 31.12.1998 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller |
| External scientists / cooperations: |
Prof. Dr. Walter Dosch (Universität zu Lübeck) Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid) Prof. Dr. Manfred Broy (TU München) |
| Publications: | Publication list |
Abstract
A first project goal was to obtain techniques for the stepwise development of reactive systems. Concretely, it was to be investigated whether Statecharts are suitable for the necessary refinement and transformation steps or whether the language has to be adapted to allow such steps. Next, the project developed techniques for partitioning Statecharts to allow their distributed implementation.