Integrierter Deduktiver Software-Entwurf

• Antragsteller: Professor Dr. Bernhard Beckert
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2004 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5437787

..Für die hier beantragte zweite Projektphase planen wir, uns neuen Schwerpunkten zu widmen, die auf der Basis des bereits Geleisteten jetzt gesetzt werden. Dazu zählen wir die Integration der Verifikation in den Software-Entwicklungsprozeß, die Unterstützung des Benutzers bei der Erstellung von Spezifikationen, und die Entwicklung von Modularisierungs- und Verfeinerungskonzepten. Die Deduktionskomponente soll um die Behandlung häufig verwendeter Datentypen und Bibliotheken erweitert werden, ihr Automatisierungsgrad soll erhöht und die Transparenz der Benutzerschnittstelle soll verbessert werden. Schließlich ist eine intensive Erprobung durch Fallstudien vorgesehen. *

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Peter H. Schmitt