Overview: Presents the latest research on Formal Methods Integration.Includes the best papers from the 5th IEEE International Workshop on Formal Methods Integration - IEEE FMi 2017, held in San Diego, CA, USA, This book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software
|