عنوان

Fundamental approaches to software engineering :

(Number (ISBN

3319893637

(Number (ISBN

9783319893631

Erroneous ISBN

9783319893624

Title Proper

Fundamental approaches to software engineering :

General Material Designation

[Book]

Other Title Information

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 /

First Statement of Responsibility

Alessandra Russo, Andy Schürr (eds.).

Place of Publication, Distribution, etc.

Cham, Switzerland :

Name of Publisher, Distributor, etc.

Springer Open,

Date of Publication, Distribution, etc.

2018.

Specific Material Designation and Extent of Item

1 online resource (xii, 357 pages) :

Other Physical Details

illustrations

Series Title

Advanced research in computing and software science

Series Title

Lecture notes in computer science,

Series Title

LNCS sublibrary. SL 1, Theoretical computer science and general issues

Volume Designation

10802

ISSN of Series

0302-9743 ;

Text of Note

Includes author index.

Text of Note

International conference proceedings.

Text of Note

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.

0

Text of Note

This book is Open Access under a CC BY licence.

Source for Acquisition/Subscription Address

Springer Nature

Stock Number

com.springer.onix.9783319893631

Parallel Title

FASE 2018

Software engineering, Congresses.

Computer science.

Computers / Software Development & Engineering.

Software engineering.

Number

Edition

Class number

Book number

Russo, Alessandra

Schürr, Andy

FASE (Conference)(21st :2018 :, Thessalonikē, Greece)

ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)

Date of Transaction

20200823114305.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y