Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Buch in deiner Nähe kaufen
Beschreibung
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.
Leading-edge research in methods and tools for use in computer system engineering State-of-the-art software engineering methods and technology advances from experts in the field Written by experts
Autor*in
Jonathan P. Bowen
Themen in »Engineering Trustworthy Software Systems«
Mathematics Computer Science Computing Logic Semantics Programming Digital Twins High Integrity Systems Safety-Critical Systems Human-Cyber-Physical Systems Formal Methods Formal Specification Software Testing Software Design Software Systems