Theoretical Aspects of Software Engineering
17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
(Sprache: Englisch)
This 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...
The 19 full papers and 2 short papers included in this book were carefully reviewed...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 88.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Theoretical Aspects of Software Engineering “
Klappentext zu „Theoretical Aspects of Software Engineering “
This 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.
Inhaltsverzeichnis zu „Theoretical Aspects of Software Engineering “
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.
Bibliographische Angaben
- 2023, 1st ed. 2023, X, 366 Seiten, 53 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Cristina David, Meng Sun
- Verlag: Springer, Berlin
- ISBN-10: 3031352564
- ISBN-13: 9783031352560
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Software Engineering"
0 Gebrauchte Artikel zu „Theoretical Aspects of Software Engineering“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Software Engineering".
Kommentar verfassen