Integrierter Deduktiver Software-Entwurf

点击翻译按钮获取中文摘要

..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. *