Integrierter Deduktiver Software-Entwurf

综合演绎软件设计

• 批准号: 5437787
• 负责人: Professor Dr. Bernhard Beckert
• 金额: --
• 依托单位: Forschungsgruppe Logik und Formale Methoden (aufgelöst)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5437787?language=en
• 关键词: 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. *

..为了实现我们的两个项目计划，我们将在韦尔登的基础上建立一个新的框架。本文主要介绍了软件开发过程中验证的集成、开发人员在软件开发过程中的测试以及模块化和验证的开发。Die Deduktionskomponente soll um die Behandlung häufig verwendeter Datentypen und Bibliotheken erweitert韦尔登，ihr Automatisierungsgrad soll erhöht und die Adrenz der Benutzerschnittstelle soll verbessert韦尔登. Schließlich is eine intensive Erprobung durch Fallstudien vorgesehen. *