Theoretical Aspects of Software Engineering
Springer International Publishing (Verlag)
978-3-031-35256-0 (ISBN)
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.
Systems 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.
Erscheinungsdatum | 29.06.2023 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 366 p. 113 illus., 53 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 568 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Architecting • architecture verification and validation • Artificial Intelligence • Engineering • Formal Logic • Model Checking |
ISBN-10 | 3-031-35256-4 / 3031352564 |
ISBN-13 | 978-3-031-35256-0 / 9783031352560 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich