|
" Fundamental approaches to software engineering : "
Alessandra Russo, Andy Schürr (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
865909
|
| Main Entry
|
:
|
FASE (Conference)(21st :2018 :, Thessalonikē, Greece)
|
| Title & Author
|
:
|
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 /\ Alessandra Russo, Andy Schürr (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer Open,, 2018.
|
| Series Statement
|
:
|
Advanced research in computing and software science
|
|
|
:
|
Lecture notes in computer science,; 10802
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xii, 357 pages) :: illustrations
|
| ISBN
|
:
|
3319893637
|
|
|
:
|
: 9783319893631
|
|
|
:
|
9783319893624
|
| Notes
|
:
|
Includes author index.
|
|
|
:
|
International conference proceedings.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
This book is Open Access under a CC BY licence.
|
| Subject
|
:
|
Software engineering, Congresses.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computers / Software Development Engineering.
|
| Subject
|
:
|
Software engineering.
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.758.F37 2018eb
|
| Added Entry
|
:
|
Russo, Alessandra
|
|
|
:
|
Schürr, Andy
|
| Added Entry
|
:
|
ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)
|
| Parallel Title
|
:
|
FASE 2018
|
| |