Willkommen, schön sind Sie da!
Logo Ex Libris

Dependable Software Engineering. Theories, Tools, and Applications

  • E-Book (pdf)
  • 203 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in ... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 68.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Dependable Software Engineering. Theories, Tools, and Applications
Untertitel: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings
Editor:
EAN: 9783030628222
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 08.11.2020
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 12.24 MB
Anzahl Seiten: 203

Weitere Bände aus der Buchreihe "Programming and Software Engineering"