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
 

Project Description

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