Formal Object-oriented Software Development: The Whole Picture

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

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.