Formal Object-oriented Software Development: The Whole Picture

正式的面向对象软件开发：全貌

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

The field of formal methods has outgrown the area of academic case studies, and industry is showing serious interest. To make formal software development in an industrial context possible we propose a coherent concept including - besides what is already now state of the art - the deductive verification of concurrent programs, formal methods for model-driven architecture, model-based testing, and the integration of technologies like static program analysis.

形式方法的领域已经超出了学术案例研究的范围，工业界也表现出了浓厚的兴趣。为了使正式的软件开发在工业环境中可能，我们提出了一个连贯的概念，包括-除了已经是现在的最先进的-演绎验证并发程序，正式的方法模型驱动的架构，基于模型的测试，并集成的技术，如静态程序分析。