Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

本書是第17屆國際正式工程方法會議（ICFEM 2015）的審查程序，該會議於2015年11月在法國巴黎舉行。經過仔細審查和篩選，本書收錄了27篇修訂後的全文論文，這些論文是從82篇投稿中精心挑選出來的。這些論文涵蓋了正式方法和軟體工程領域的各種主題，致力於推進正式方法在實踐中的應用的最新技術。它們特別關注概念和方法論方面與其正式基礎和工具支持的結合。