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

Gespeichert in:

Personen und Körperschaften:	Russo, Alessandra (HerausgeberIn), Schürr, Andy (HerausgeberIn)
Titel:	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/ edited by Alessandra Russo, Andy Schürr
Format:	E-Book
Sprache:	Englisch
veröffentlicht:	Cham Springer 2018
Gesamtaufnahme:	SpringerLink Springer eBook Collection Lecture notes in computer science ; 10802
Schlagwörter:	Computer network architectures Computer industry Information theory Computer organization Programming languages (Electronic computers) Computer Science Computer science Computers Software engineering Computer networks . Compilers (Computer programs). Professions. Computer engineering.
Weitere Ausgaben:	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
Quelle:	Verbunddaten SWB Lizenzfreie Online-Ressourcen
Zugangsinformationen:	Elektronischer Volltext - Open Access, Zugang über SpringerLink

Details
Zusammenfassung:	This book is Open Access under a CC BY licence 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
Umfang:	Online-Ressource (XII, 357 p. 116 illus, online resource)
ISBN:	9783319893631
DOI:	10.1007/978-3-319-89363-1
Zugang:	Open Access