LEADER 03441nam 22004935 450 001 996538665203316 005 20230614081825.0 010 $a3-031-35257-2 024 7 $a10.1007/978-3-031-35257-7 035 $a(CKB)27240719400041 035 $a(MiAaPQ)EBC30609733 035 $a(Au-PeEL)EBL30609733 035 $a(DE-He213)978-3-031-35257-7 035 $a(PPN)27225956X 035 $a(EXLCZ)9927240719400041 100 $a20230614d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheoretical Aspects of Software Engineering$b[electronic resource] $e17th International Symposium, TASE 2023, Bristol, UK, July 4?6, 2023, Proceedings /$fedited by Cristina David, Meng Sun 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (375 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13931 311 $a9783031352560 327 $aSystems with Runtime Assurance Architectures -- Continuation-Passing Style into Static Single Assignment Form -- Framework based on Reinforcement Learning -- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning -- Based Embedded Software Design -- Probabilistic Contracts Using Timed Automata -- Asynchronous test equivalence over timed processes -- Protocol Conformance with Choreographic PlusCal -- Verifying Chips Design at RTL Level -- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks -- A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation -- VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects -- Identifying Minimal Changes in the Zone Abstract Domain -- idDL2DL - Interval syntax to DL -- Safety Verification for Neural Networks Based on Set-boundary Analysis -- Approximately learning quantum automata -- View-Based Axiomatic Reasoning for PSO -- Resource Sensitive Workflow Models -- MTCD: An Efficient Cloning Detection Technique Based on Method Table -- Stepwise development of paraconsistent processes -- Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters. 330 $aThis book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4?6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13931 606 $aSoftware engineering 606 $aSoftware Engineering 615 0$aSoftware engineering. 615 14$aSoftware Engineering. 676 $a005.1 700 $aDavid$b Cristina$01369708 701 $aSun$b Meng$01369709 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996538665203316 996 $aTheoretical Aspects of Software Engineering$93396449 997 $aUNISA