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.

Produktinformation

Utgivningsdatum2020-11-09
Mått155 x 235 x 13 mm
Vikt341 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor203
FörlagSpringer Nature Switzerland AG
ISBN9783030628215

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

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.

Mer från samma författare

Logics for New-Generation AI. Fourth International Workshop

Beishui Liao, Jun Pang, Tjitze Reinstra

Häftad, 2024

279 kr

Del 14137

Computational Methods in Systems Biology

Jun Pang, Joachim Niehren

Häftad, 2023

939 kr

Del 8829

Formal Methods and Software Engineering

Stephan Merz, Jun Pang

Häftad, 2014

749 kr

Del 15431

Multi-disciplinary Trends in Artificial Intelligence

Chattrakul Sombattheera, Paul Weng, Jun Pang

Häftad, 2025

1 189 kr

Del 15432

Multi-disciplinary Trends in Artificial Intelligence

Chattrakul Sombattheera, Paul Weng, Jun Pang

Häftad, 2025

1 189 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Del 10998

Dependable Software Engineering. Theories, Tools, and Applications

Xinyu Feng, Markus Müller-Olm, Zijiang Yang

Häftad, 2018

749 kr

Del 10606

Dependable Software Engineering. Theories, Tools, and Applications

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

Häftad, 2017

749 kr

Del 14464

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns, Jun Sun, Lei Bu

Häftad, 2023

1 189 kr

Del 9409

Dependable Software Engineering: Theories, Tools, and Applications

Xuandong Li, Zhiming Liu, Wang Yi

Häftad, 2015

719 kr

Del 16458

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

Häftad, 2026

1 099 kr

Del 11951

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan, Joost-Pieter Katoen, Jun Sun

Häftad, 2019

749 kr

Del 13071

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

Häftad, 2021

1 119 kr

Del 13649

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

Häftad, 2022

969 kr

Del 15469

Dependable Software Engineering. Theories, Tools, and Applications

Timothy Bourke, Liqian Chen, Amir Goharshady

Häftad, 2024

1 189 kr

Del 9984

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

Häftad, 2016

749 kr

Del 12153 i serien Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Häftad, Engelska, 2020

AvJun Pang,Lijun Zhang

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 119 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

719 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 099 kr

Skickas inom 10-15 vardagar

Häftad

1 189 kr

Skickas inom 10-15 vardagar

Häftad

1 189 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2020-11-09
Mått155 x 235 x 13 mm
Vikt341 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor203
FörlagSpringer Nature Switzerland AG
ISBN9783030628215

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

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.