This page in English
SucheEntwurfsmethodik für reaktive Systeme
(ruhend)
| Projektstart: | 01.01.1998 |
| Projektende: | 31.12.1998 |
| Laufzeit: | 01.01.1998 - 31.12.1998 |
| Projektträger: | Universität Augsburg |
| Projektverantwortung vor Ort: | Prof. Dr. Bernhard Möller |
| Beteiligte Wissenschaftler / Kooperationen: |
Prof. Dr. Manfred Broy (TU München) Prof. Dr. Walter Dosch (Universität zu Lübeck) Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid) |
| Publikationen: | Link zur Publikationsliste |
Zusammenfassung
Ein Projektziel war die Erarbeitung von Techniken zur schrittweisen Entwicklung von reaktiven Systemen. Konkret sollte untersucht werden, ob sich Statecharts für die dazu erforderlichen Verfeinerungs- und Transformationsschritte eignen oder ob die Sprache angepaßt werden muß, um solche Schritte zu ermöglichen. Weiter wurden im Projekt Techniken zur Partitionierung von Statecharts für deren verteilte Implementierung entwickelt.