Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.
The 10 full and 1 short paper included in this volume were carefully reviewed...
The 10 full and 1 short paper included in this volume were carefully reviewed...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Dependable Software Engineering. Theories, Tools, and Applications “
Klappentext zu „Dependable Software Engineering. Theories, Tools, and Applications “
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Inhaltsverzeichnis zu „Dependable Software Engineering. Theories, Tools, and Applications “
The Road Ahead for Supervisor Synthesis.- Reentrancy? Yes. Reentrancy bug? No.- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets.- Modelling and Implementation of Unmanned Aircraft Collision Avoidance.- Randomized Re nement Checking of Timed I/O Automata.- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata.- Compiling FL^{res} on Finite Words.- Symbolic Model Checking with Sentential Decision Diagrams.- Probably Approximately Correct Interpolants Generation.- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.- Learning Safe Neural Network Controllers with Barrier Certificates.- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.
Bibliographische Angaben
- 2020, 1st ed. 2020, XIII, 203 Seiten, 31 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Jun Pang, Lijun Zhang
- Verlag: Springer, Berlin
- ISBN-10: 3030628213
- ISBN-13: 9783030628215
Sprache:
Englisch
Kommentar zu "Dependable Software Engineering. Theories, Tools, and Applications"
0 Gebrauchte Artikel zu „Dependable Software Engineering. Theories, Tools, and Applications“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Dependable Software Engineering. Theories, Tools, and Applications".
Kommentar verfassen