Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Bowen Jonathan P
|
| Titolo: |
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
|
| Pubblicazione: | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (255 pages) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Computer networks | |
| Artificial intelligence | |
| Computer programming | |
| Computer systems | |
| Natural language processing (Computer science) | |
| Software Engineering | |
| Computer Communication Networks | |
| Artificial Intelligence | |
| Programming Techniques | |
| Computer System Implementation | |
| Natural Language Processing (NLP) | |
| Altri autori: |
GomesCláudio
LiuZhiming
|
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Engineering Trustworthy Software Systems |
| ISBN: | 9789819646562 |
| 9819646561 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910993933603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 15584