This book investigates methods for mitigating model heterogeneity in formal system development by integrating implicit and explicit semantics. It addresses advances in handling both types of semantics in formal system developments, drawing on discussions from a 2016 Shonan meeting. The contributions explore diverse perspectives on implicit and explicit semantics, offering solutions to bridge the gap caused by the absence of explicit semantics expression in formal techniques. The book is structured into five parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling.

The book is presented as a collection of contributions from a specific meeting, suggesting a focus on current research and diverse viewpoints within the field. The structure into five distinct parts indicates a comprehensive approach to the topic of semantics in formal system development. The intended audience appears to be researchers and practitioners in formal methods, system and software engineering, and related areas, implying a technical and specialized readership. The collection aims to offer inspiration and solutions for challenges in modeling and requirement analysis.