Integrierter Deduktiver Software-Entwurf

综合演绎软件设计

• 批准号: 5125206
• 负责人: Professor Dr. Peter H. Schmitt
• 金额: --
• 依托单位: Forschungsgruppe Logik und Formale Methoden (aufgelöst)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2006-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5125206?language=en
• 关键词: Integrierter; Deduktiver; Software; Entwurf

Die Verwendung formaler Verfahren in der Softwareentwicklung soll an ausgewählten Stellen vorangetrieben werden, so daß sich hieraus eine wesentliche Steigerung der Akzeptanz dieser Methodik ergeben müßte. Diese Stellen sind: 1. systemgeführter Übergang von einer allgemeinverständlichen Beschreibung des gestellten Problems zur Spezifikation in einer normierten Sprache soll in den Grundlagen erarbeitet und technisch realisiert werden. Die Methodik hierzu soll objektorientiert sein, und eine industriell akzeptierte Entwicklungsumgebung (Meta-CASE Werkzeug) soll genutzt werden. Der Erfolg muß sich in einer transparenten, einladenden Bedienoberfläche erweisen. 2. Auch schon während des Spezifikationsprozesses werden sich in hohem Maße Deduktionsaufgaben ergeben. Das Deduktionssystem ist entsprechend zu gestalten und einzubinden. 3. Dieser Beweiser ist auf der Basis der System KIV und 3TAP zu erstellen. Da neue Arten von Deduktionsaufgaben anfallen, ist er an wesentlichen Stellen neu zu gestalten. Ferner sollen die beiden Paradigmen "taktisch" und "vollautomatisch" in ihm voll integriert sein, so daß die Vorzüge beider Vorgehensweisen ohne Angleichsverluste gleichermaßen nutzbar werden.

软件设计中的形式化的Verfahren是一个非常重要的韦尔登，因此它具有一个非常重要的Akzeptanz方法。这是第一个。systemgeführter Übergang von einer allgemeinverständlichen Beschreibung des gestellten Problems zur Spezifikation in einer normierten Sprache soll in den Grundlagen erarbeitet und technisch realisiert韦尔登.该方法论是一种目标明确的方法，而一种工业化的开发（元CASE工具）是韦尔登的。这一结果在一个简单的出租车上，一个简单的出租车。2.也可以把特殊韦尔登程序放在更高的级别上。该豁免制度是一个完整的、独立的体系。3.这是KIV和3TAP系统的基础。新的艺术作品是一种新的形式。我们必须在他们的整体性中找到更好的“taktisch”和“vollautomatisch”范式，因此，更好地将Vorzüge beider Vorgehensweisen ohne Angleichsverluste gleichermaßen nutzbar韦尔登作为Vorgehensweisen。