Integrierter Deduktiver Software-Entwurf

• Applicant: Professor Dr. Bernhard Beckert
• Subject Area: Theoretical Computer Science
• Term: from 2004 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• Participating Person: Professor Dr. Peter H. Schmitt