Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures (Lecture Notes in Computer Science, Band 15584) - Softcover

Softcover

ISBN 10: 9819646553 ISBN 13: 9789819646555

Verlag: Springer, 2025

Inhaltsangabe

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.

The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on

-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;

-Introduction to Digital Twins

-Theories of Contracts and Their Applications

-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing? 

-What Came First, Math or Computing?

-Software Engineering for Explainable AI

-Distribution Testing: The New Frontier for Formal Methods

Über diesen Titel

Über die Autorin bzw. den Autor

Zhiming Liu is a professor at Southwest University, Chongqing, China. His research interests lie in the area of software theory and methods, with a particular focus on the modeling, design, and verfication of software and systems.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2025
• Sprache: Englisch
• ISBN 10: 9819646553
• ISBN 13: 9789819646555
• Einband: Taschenbuch
• Anzahl der Seiten: 192
• Herausgeber: Bowen Jonathan P., Gomes Cláudio, Liu Zhiming
• Kontakt zum Hersteller: GPSR Kontakt; ProductSafety@springernature.com; ; Tiergartenstr. 17; Heidelberg; 69121; Deutschland