Methodik des inkrementellen Entwurfs reaktiver Systeme

在我们的项目中，我们将从辛布利克的智慧和方法论中找到解决的办法。这是一项重大的改革，它的目的是为了使我们的系统功能更加完善，更好地为我们的系统提供服务。这是一种新的数学形式，是一种新的数学形式，它是一种新的数学形式。其基础是Verfeinungsschritte entwickelt和方法论Vorgaben für ihren einatz in inkrementellen Systementwurf erarbeitet.在所有的CASE工具集成中，这些工具都是用于实际操作的。

In diesem Projekt schließen wir die Lücke zwischen diesen Ansätzen im Hinblick auf eine wissenschaftliche und methodische Fundierung. Dazu betrachten wir einen Entwurfsprozeß, der von ersten abstrakten Beschreibungen der Systemfunktionalität ausgeht und erlaubt, diese Beschreibungen systematisch zu verfeinern, um beispielsweise Fehlerbehandlung einzuführen, neue Funktionalitäten hinzuzufügen oder das System mit Blick auf eine verteilte Implementierung in Teilsysteme zu spalten. Zur Systembeschreibung dienen dabei mathematisch formalisierte Teilmengen etablierter Beschreibungstechniken wie Zustandsmaschinen, Sequenzdiagramme oder Systemstrukturdiagramme. Auf deren Basis werden Verfeinerungsschritte entwickelt und methodische Vorgaben für ihren Einsatz im inkrementellen Systementwurf erarbeitet. Zur Unterstützung der Verfeinerungsschritte und zur praktischen Erprobung werden die Verfeinerungsschritte in ein bestehendes CASE-Tool integriert.