Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
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 proceedi...
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | , , |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2025.
|
| Хэвлэл: | 1st ed. 2025. |
| Цуврал: | Lecture Notes in Computer Science,
15584 |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://doi.org/10.1007/978-981-96-4656-2 |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-981-96-4656-2 | ||
| 003 | DE-He213 | ||
| 005 | 20260706121005.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250408s2025 si | s |||| 0|eng d | ||
| 020 | |a 9789819646562 |9 978-981-96-4656-2 | ||
| 024 | 7 | |a 10.1007/978-981-96-4656-2 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a Engineering Trustworthy Software Systems |h [electronic resource] : |b 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / |c edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Singapore : |b Springer Nature Singapore : |b Imprint: Springer, |c 2025. | |
| 300 | |a XIX, 171 p. 45 illus., 34 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15584 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Computer systems. | |
| 650 | 0 | |a Natural language processing (Computer science). | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Computer Communication Networks. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 650 | 2 | 4 | |a Computer System Implementation. |
| 650 | 2 | 4 | |a Natural Language Processing (NLP). |
| 700 | 1 | |a Bowen, Jonathan P. |e editor. |0 (orcid)0000-0002-8748-6140 |1 https://orcid.org/0000-0002-8748-6140 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Gomes, Cláudio. |e editor. |0 (orcid)0000-0003-2692-9742 |1 https://orcid.org/0000-0003-2692-9742 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Liu, Zhiming. |e editor. |0 (orcid)0000-0001-9771-3071 |1 https://orcid.org/0000-0001-9771-3071 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789819646555 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819646579 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15584 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-96-4656-2 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||