课题基金 / 基金详情

Formal Object-oriented Software Development: The Whole Picture

Formal Object-oriented Software Development: The Whole Picture
正式的面向对象软件开发：全貌
批准号：
22995750
负责人：
Professor Dr. Bernhard Beckert
金额：
$0.0万
依托单位：
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
关键词：
FormalObjectorientedSoftwareDevelopment

项目摘要

项目成果

Professor Dr. Bernhard Beckert的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems
Integrierter Deduktiver Software-Entwurf
Static Analysis to Support Change Management in Variant-rich Legacy Control Software for Machine and Plant Engineering companies (CHANGE aPS)
KeY - A Deductive Software Analysis Tool for the Research Community
海外基金