Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu (Herausgeber)

Buch | Softcover

171 Seiten

2025
Springer Nature Switzerland AG (Verlag)
978-981-96-4655-5 (ISBN)

Titel nicht im Sortiment

Artikel merken

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

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.

SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

Erscheinungsdatum	14.05.2025
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	34 Illustrations, color; 11 Illustrations, black and white
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Artificial Intelligence • Computer Science • computing • Digital Twins • Embedded Software • formal methods • formal specification • High Integrity Systems • Human-Cyber-Physical Systems • Logic • Mathematics • programming • Safety-Critical Systems • Semantics • Software Design • Software engineering • Software systems • Software Testing • trustworthy software
ISBN-10	981-96-4655-3 / 9819646553
ISBN-13	978-981-96-4655-5 / 9789819646555
Zustand	Neuware