Advertisement

Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

  • Perdita Stevens
  • Andrzej Wąsowski

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9633)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9633)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Keynote Paper

    1. Front Matter
      Pages 1-1
    2. Oscar Nierstrasz
      Pages 3-10
  3. Concurrent and Distributed Systems

    1. Front Matter
      Pages 11-11
    2. Samik Basu, Tevfik Bultan
      Pages 13-30
    3. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
      Pages 31-48
    4. Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
      Pages 49-65
    5. Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
      Pages 66-83
  4. Model-Driven Development

    1. Front Matter
      Pages 85-85
    2. Oszkár Semeráth, András Vörös, Dániel Varró
      Pages 87-103
    3. Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo
      Pages 104-121
    4. Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
      Pages 122-140
    5. Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo
      Pages 141-157
    6. Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
      Pages 158-175
  5. Analysis and Bug Triaging

    1. Front Matter
      Pages 177-177
    2. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
      Pages 179-196
    3. Pauline Bolignano, Thomas Jensen, Vincent Siles
      Pages 214-230
    4. Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia
      Pages 231-248
  6. Probabilistic and Stochastic Systems

    1. Front Matter
      Pages 249-249
    2. Marcus Gerhold, Mariëlle Stoelinga
      Pages 251-268
    3. Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
      Pages 269-286
    4. Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
      Pages 287-304
    5. Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo
      Pages 305-322
  7. Proof and Theorem Proving

    1. Front Matter
      Pages 323-323
    2. David Aspinall, Cezary Kaliszyk
      Pages 325-341
    3. Javier Esparza, Philipp Hoffmann
      Pages 342-358
    4. Claudia Elena Chiriţă, José Luiz Fiadeiro, Fernando Orejas
      Pages 359-376
    5. Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi
      Pages 377-380
  8. Verification

    1. Front Matter
      Pages 381-381
    2. Raymond Hu, Nobuko Yoshida
      Pages 401-418
    3. Pavel Jančík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina
      Pages 419-434
  9. Back Matter
    Pages 435-436

About these proceedings

Introduction

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 

Keywords

Complex networks Model checking Semantics Software evolution Software verification Automated static analysis Cloud-based systems Debugging Domain-specific languages Formal language definitions Formal software verification Logic solvers Model driven development Model generation Modeling Modularity Run-time errors Software product lines Software testing Theorem proving

Editors and affiliations

  • Perdita Stevens
    • 1
  • Andrzej Wąsowski
    • 2
  1. 1.University of EdinburghEdinburghUK
  2. 2.IT University of CopenhagenCopenhagenDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-49665-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49664-0
  • Online ISBN 978-3-662-49665-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site