Project Details
Projekt Print View

Integrierter Deduktiver Software-Entwurf

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
 
 

Additional Information

Textvergrößerung und Kontrastanpassung