Engineering Trustworthy Software Systems (Paperback)

Jonathan P. Bowen

ISBN 10: 981958616X / ISBN 13: 9789819586165

Published by Springer Verlag, Singapore, Singapore, 2026

About this Item

Paperback. This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 1723, 2025.The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety oftechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9789819586165

Bibliographic Details

• Title: Engineering Trustworthy Software Systems (Paperback)
• Publisher: Springer Verlag, Singapore, Singapore
• Publication Date: 2026
• Language: English
• ISBN 10: 981958616X
• ISBN 13: 9789819586165
• Binding: Paperback
• Condition: new

About this title

Synopsis

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. 

 

 

About the Author

Jonathan P. Bowen is an Emeritus Professor of Computing at London South Bank University, UK, an adjunct professor at Southwest University, Chongqing, China, and Chairman of Museophile Limited. His career spans academia and industry, with extensive contributions to formal methods, safety‑critical systems, and the history of computing.

Andrea Turrini is a researcher at the Institute of Software, Chinese Academy of Sciences, Beijing, China. His research interests lie in the area of formal methods, with a particular focus on modeling and verification of uncertain systems.