From Software Engineering to Formal Methods and Tools, and Back

Discover the insightful journey of research in "From Software Engineering to Formal Methods and Tools, and Back" by Maurice H. ter Beek. Published by Springer Nature Switzerland AG in 2019, this comprehensive paperback edition spans 574 pages, offering a deep dive into the evolution of software engineering and formal methods. The book pays homage to Stefania's significant contributions to the field, structured into seven engaging sections that reflect her research lifecycle. This work not only highlights the interconnectedness of software engineering and formal methods but also serves as a valuable resource for scholars and practitioners alike. Explore the intricate relationship between these domains and gain a deeper understanding of their relevance in today's technological landscape. Perfect for those looking to expand their knowledge in software engineering and formal methodologies, this book is a must-have addition to your library.