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

This book is Open Access under a CC BY licence.

Detalles Bibliográficos
Otros Autores:	Russo, Alessandra (Editor), Russo, Alessandra. editor (editor), Schürr, Andy. editor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing 2018.
Edición:	1st ed. 2018.
Colección:	Theoretical Computer Science and General Issues, 10802
Materias:	Software engineering. Compilers (Computer programs). Computer engineering. Computer networks. Computers. Professions. Computer science. Software Engineering. Compilers and Interpreters. Computer Engineering and Networks. The Computing Profession. Theory of Computation.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269806719

Tabla de Contenidos:

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.

Ejemplares similares