LEADER 03901nam  22007695  450 
001 996655265703316
005 20250408034603.0
010   $a9789819646562
010   $a9819646561
024 7 $a10.1007/978-981-96-4656-2
035   $a(MiAaPQ)EBC32004232
035   $a(Au-PeEL)EBL32004232
035   $a(CKB)38280270800041
035   $a(DE-He213)978-981-96-4656-2
035   $a(OCoLC)1514630800
035   $a(EXLCZ)9938280270800041
100   $a20250408d2025      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEngineering Trustworthy Software Systems $e6th International School, SETSS 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures /$fedited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
205   $a1st ed. 2025.
210  1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025.
215   $a1 online resource (255 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15584
311 08$a9789819646555 
311 08$a9819646553 
327   $aSETSS 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15584
606   $aSoftware engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputer programming
606   $aComputer systems
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aArtificial Intelligence
606   $aProgramming Techniques
606   $aComputer System Implementation
606   $aNatural Language Processing (NLP)
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aComputer systems.
615  0$aNatural language processing (Computer science)
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aComputer System Implementation.
615 24$aNatural Language Processing (NLP).
676   $a005.1
700   $aBowen$b Jonathan P$01429202
701   $aGomes$b Cláudio$01766209
701   $aLiu$b Zhiming$01708452
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996655265703316
996   $aEngineering Trustworthy Software Systems$94365024
997   $aUNISA