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

Publication Info.

Cham, Switzerland : Springer Open, 2018.

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Internet	WORLD WIDE WEB E-BOOK Springer	Downloadable
Please click here to access this Springer resource

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.
Access	Open access. GW5XE
Note	International conference proceedings.
	Includes author index.
	Online resource; title from PDF title page (SpringerLink, viewed April 17, 2018).
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.
Local Note	SpringerLink Springer Nature Open Access eBooks
Subject	Software engineering -- Congresses.
	Computer science.
	Software engineering. (OCoLC)fst01124185
Genre/Form	Conference papers and proceedings. (OCoLC)fst01423772
Added Author	Russo, Alessandra, editor.
	Schürr, Andreas, editor.
	ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece), jointly held conference.
Added Title	FASE 2018
ISBN	9783319893631 (electronic book)
	3319893637 (electronic book)
	9783319893624 (print)
Standard No.	10.1007/978-3-319-89363-1 doi

-->

Permanent Link

Add a Review

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

Copies

Library Links

Search Tools

Language Settings