Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme

• Antragstellerin: Professorin Dr. Mila Majster-Cederbaum
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2002 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5364713

..Ziel ist: 1. Die Entwicklung und Untersuchung des Konzeptes von Aktionsverfeinerung in verschiedenen quantitativen Erweiterungen von Modellen nebenläufiger/reaktiver Systeme. 2. Aufbauend auf den theoretischen Ergebnissen das Konzept der Aktionsverfeinerung zu dem, UML Beschreibungstechniken hinzuzufügen und theoretisch zu untermauern.

• DFG-Verfahren: Sachbeihilfen