Dependable Software Engineering. Theories, Tools, and Applications: Lecture Notes in Computer Science, cartea 13071
Editat de Shengchao Qin, Jim Woodcock, Wenhui Zhangen Limba Engleză Paperback – 14 noi 2021
The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 460.96 lei
Preț vechi: 576.20 lei
-20%
Puncte Express: 691
Preț estimativ în valută:
81.51€ • 93.47$ • 70.45£
81.51€ • 93.47$ • 70.45£
Carte disponibilă
Livrare economică 06-20 aprilie
Livrare express 20-26 martie pentru 35.34 lei
Specificații
ISBN-13: 9783030912642
ISBN-10: 3030912647
Pagini: 340
Ilustrații: XIII, 321 p. 108 illus., 79 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3030912647
Pagini: 340
Ilustrații: XIII, 321 p. 108 illus., 79 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Systems Development.- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization.- DeepGlobal: a Global Robustness Verifiable FNN Framework.- Leveraging Event-B Theories for handling domain knowledge in design models.- Program Analysis and Verification.- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP.- Formal Analysis of 5G AKMA.- Verifying the Correctness of Distributed Systems via Mergeable Parallelism.- Testing and Fault Detection.- Mutation Testing of Reinforcement Learning Systems.- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism.- MC/DC Test Cases Generation based on BDDs.- Software Quality.- Predicting and Monitoring Bug-proneness at The Feature Level.- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum.- A Distributed Simplex Architecture for Multi-Agent Systems.- Satisfiability, Reachability and Model Checking.- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations.- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.- API Usage Pattern Search Based on Model Checking.