Fundamental Approaches to Software Engineering

17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Stefania Gnesi
  • Arend Rensink
Conference proceedings FASE 2014

DOI: 10.1007/978-3-642-54804-8

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

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker et al.
      Pages 1-16
  3. Modelling and Model Transformation

    1. Alcino Cunha, Nuno Macedo, Tiago Guimarães
      Pages 17-31
    2. Daniel Struber, Julia Rubin, Gabriele Taentzer, Marsha Chechik
      Pages 47-62
    3. Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski
      Pages 63-78
  4. Time and Performance

    1. José Luis Fiadeiro, Antónia Lopes
      Pages 79-93
    2. Matthias Kowal, Ina Schaefer, Mirco Tribastone
      Pages 94-108
  5. Static Analysis

    1. Pietro Ferrara, Daniel Schweizer, Lucas Brutschy
      Pages 109-124
    2. Rashmi Mudduluru, Murali Krishna Ramanathan
      Pages 125-139
    3. Wei Huang, Yao Dong, Ana Milanova
      Pages 140-154
  6. Scenario-Based Specification

  7. Software Verification

    1. Paolo Masci, Yi Zhang, Paul Jones, Paul Curzon, Harold Thimbleby
      Pages 200-214
    2. Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov
      Pages 215-229
    3. Marina Zaharieva-Stojanovski, Marieke Huisman
      Pages 230-245
  8. Analysis and Repair

    1. Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
      Pages 246-260
    2. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
      Pages 261-275
  9. Verification and Validation

    1. Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, Pierluigi San Pietro
      Pages 276-290

About these proceedings

Introduction

This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.

Keywords

formal methods graph transformations model checking model transformation model-driven software engineering modeling program repair scenario-based specifications software debugging software engineering software functional properties software performance software system models software system structures software testing software validation software verification static analysis

Editors and affiliations

  • Stefania Gnesi
    • 1
  • Arend Rensink
    • 2
  1. 1.CNRPisaItaly
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54803-1
  • Online ISBN 978-3-642-54804-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349