CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science
Open Access This content is freely available online to anyone, anywhere at any time.

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

Editors: Russo, Alessandra, Schürr, Andy (Eds.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-319-89363-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
About this book

This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Table of contents (19 chapters)

Table of contents (19 chapters)
  • A Formal Framework for Incremental Model Slicing

    Pages 3-20

    Taentzer, Gabriele (et al.)

  • Multiple Model Synchronization with Multiary Delta Lenses

    Pages 21-37

    Diskin, Zinovy (et al.)

  • Controlling the Attack Surface of Object-Oriented Refactorings

    Pages 38-55

    Ruland, Sebastian (et al.)

  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Pages 56-73

    Kumar, Rajesh (et al.)

  • ROLA: A New Distributed Transaction Protocol and Its Formal Analysis

    Pages 77-93

    Liu, Si (et al.)

Buy this book

eBook  
  • ISBN 978-3-319-89363-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamental Approaches to Software Engineering
Book Subtitle
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
Editors
  • Alessandra Russo
  • Andy Schürr
Series Title
Theoretical Computer Science and General Issues
Series Volume
10802
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-319-89363-1
DOI
10.1007/978-3-319-89363-1
Softcover ISBN
978-3-319-89362-4
Edition Number
1
Number of Pages
XII, 357
Number of Illustrations
116 b/w illustrations
Topics