Bienvenue chez nous !
Logo Ex Libris
 Laissez-vous inspirer ! 

Dependable Software Engineering. Theories, Tools, and Applications

  • Couverture cartonnée
  • 220 Nombre de pages
(0) Donner la première évaluation
Évaluations
(0)
(0)
(0)
(0)
(0)
Afficher toutes les évaluations
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in G... Lire la suite
CHF 84.00
Impression sur demande - Habituellement expédié sous 4 à 6 semaines.
Commande avec livraison dans une succursale

Description

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.



Contenu

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.

Informations sur le produit

Titre: Dependable Software Engineering. Theories, Tools, and Applications
Éditeur:
Code EAN: 9783030628215
ISBN: 3030628213
Format: Couverture cartonnée
Editeur: Springer International Publishing
Genre: Informatique
nombre de pages: 220
Poids: 341g
Taille: H235mm x B155mm x T12mm
Année: 2020
Auflage: 1st ed. 2020

Autres articles de cette série  "Lecture Notes in Computer Science"