1 option
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:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 10802
- Theoretical Computer Science and General Issues, 2512-2029 ; 10802
- Language:
- English
- Subjects (All):
- 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.
- Local Subjects:
- Software Engineering.
- Compilers and Interpreters.
- Computer Engineering and Networks.
- The Computing Profession.
- Theory of Computation.
- Physical Description:
- 1 online resource (XII, 357 pages) : 116 illustrations
- Edition:
- 1st ed. 2018.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- text file PDF
- Summary:
- This book is Open Access under a CC BY licence.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-89363-1
- 9783319893631
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.