DEPENDABLE SOFTWARE SYSTEMS ENGINEERING -- Preface -- Contents -- Syntax-Guided Synthesis -- Deconstructing Dynamic Symbolic Execution -- From Actions, Transactions, and Processes to Services -- System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems -- Generating Process Models in Multi-View Environments -- Safety and Dependability -- Evolving Software Ecosystems A Historical and Ecological Perspective -- Framing the Frame Problem -- From Verification to Synthesis -- Defect-Based Testing -- Mechanised Theory Engineering in Isabelle -- A Theory of Networks: In the Beginning . . . -- Subject Index -- Author Index.