Verwandte Artikel zu Engineering Trustworthy Software Systems: 6th International...

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

 
9789819646555: 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
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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Ü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.

Von der hinteren Coverseite

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“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
9819646553
ISBN 13 
9789819646555
Einband
Taschenbuch
Anzahl der Seiten
190
Herausgeber
Bowen Jonathan P., Gomes Cláudio, Liu Zhiming
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland