Title 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.)

Published Cham, Switzerland : Springer Open, 2018

Online access available from: SpringerOpen books    View Resource Record

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xii, 357 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10802 Advanced research in computing and software science LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 10802. 0302-9743 Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theoretical computer science and general issues. 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 Summary This book is Open Access under a CC BY licence Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed April 17, 2018) Subject Software engineering -- Congresses Computer science. Computers -- Software Development & Engineering. Software engineering Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Russo, Alessandra, editor Schürr, Andy, editor ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece), jointly held conference. ISBN 9783319893631 3319893637

Other Titles FASE 2018

  Permalink