足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

Entwurfsmethodik 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 WissenschaftlerInnen / 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)

?

?

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.

足球竞彩网_365bet体育在线投注-【中国科学院】