Formal Object-oriented Software Development: The Whole Picture

• Applicants: Professor Dr. Bernhard Beckert; Professor Dr. Peter H. Schmitt
• Subject Area: Software Engineering and Programming Languages
• Term: from 2006 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 22995750

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.

• DFG Programme: Research Grants