Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings: Lecture Notes in Computer Science, cartea 10802
Editat de Alessandra Russo, Andy Schürren Limba Engleză Paperback – 4 apr 2018
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Din seria Lecture Notes in Computer Science
- 15% Preț: 551.42 lei
- 20% Preț: 323.34 lei
- 20% Preț: 324.90 lei
- 20% Preț: 315.78 lei
- 20% Preț: 238.01 lei
- 20% Preț: 1021.21 lei
- 20% Preț: 323.34 lei
- 20% Preț: 438.69 lei
- 20% Preț: 315.19 lei
- 20% Preț: 326.49 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 612.93 lei
- 20% Preț: 1008.19 lei
- 20% Preț: 556.53 lei
- 17% Preț: 360.19 lei
- 20% Preț: 622.19 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1123.66 lei
- 20% Preț: 561.88 lei
- 20% Preț: 972.97 lei
- 20% Preț: 320.21 lei
- 20% Preț: 256.27 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 362.24 lei
- 20% Preț: 172.69 lei
- 20% Preț: 315.78 lei
- 20% Preț: 1343.61 lei
- 20% Preț: 554.18 lei
- 20% Preț: 724.94 lei
- 20% Preț: 784.47 lei
- 20% Preț: 301.95 lei
- 20% Preț: 504.57 lei
- 20% Preț: 724.94 lei
- 20% Preț: 369.12 lei
- 20% Preț: 335.88 lei
- 20% Preț: 551.84 lei
- Preț: 390.40 lei
- 20% Preț: 566.56 lei
- 20% Preț: 554.18 lei
- 20% Preț: 554.18 lei
- 20% Preț: 550.28 lei
- 20% Preț: 332.75 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 346.48 lei
Preț vechi: 433.09 lei
-20% Nou
Puncte Express: 520
Preț estimativ în valută:
66.32€ • 71.31$ • 55.29£
66.32€ • 71.31$ • 55.29£
Carte tipărită la comandă
Livrare economică 20 decembrie 24 - 03 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319893624
ISBN-10: 3319893629
Pagini: 329
Ilustrații: XII, 357 p. 116 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.52 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
ISBN-10: 3319893629
Pagini: 329
Ilustrații: XII, 357 p. 116 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.52 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
Cuprins
Model-Based Software Development.- A Formal Framework for Incremental Model Slicing.- Multiple Model Synchronization with Multiary Delta Lenses.- Controlling the Attack Surface of Object-Oriented Refactorings.- Efficient Analysis of Attack Trees: a Model-Driven Approach.- Distributed Program and System Analysis.- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States.- Software Design and Verification.- Hierarchical Specification and Verification of Architectural Design Patterns.- Supporting Verification-Driven Incremental Distributed Design of Components.- Summarizing Software API Usage Examples using Clustering Techniques.- Fast Computation of Arbitrary Control Dependencies.- Specification and Program Testing.- Iterative Generation of Diverse Models for Testing Specifications of SL Tools.- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications.- TCM: Test Case Mutation to Improve Crash Detection in Android.- CRETE: A Versatile Binary-Level Concolic Testing Framework.- Family-Based Software Development.- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL*.- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems.- Taming Multi-Variability of Software Product Line Transformations.
Textul de pe ultima copertă
This book is Open Access under a CC BY licence.