Integrierter Deduktiver Software-Entwurf

……如果你不在这里，我不会让你离开我的丈夫，也不会让你离开我的家。Dazu zählen线在DEN软件中的验证集成-Entwickrungsproze？，die Unterstützung des Benutzzbe der Erstellung von Spezifikationen，and die Entwickung von Modularisierungs-und Verfeinungskonzepten。从数据和文献的角度来看，这是一种全新的、自动化的解决方案和透明的语言。施利埃利希是一个密集的人，他一直在努力工作。*

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