Formal Object-oriented Software Development: The Whole Picture

• Antragsteller: Professor Dr. Bernhard Beckert; Professor Dr. Peter H. Schmitt
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2006 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen