Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß

• Antragstellerin: Professorin Dr. Heike Wehrheim
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2004 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5418351

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen