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

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
    2. Luc Moreau, Trung Dong Huynh, Danius Michaelides
      Pages 291-305
    3. Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
      Pages 306-309
  10. Graph Transformation

    1. Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
      Pages 310-324
    2. Christian Krause, Matthias Tichy, Holger Giese
      Pages 325-339
    3. Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
      Pages 340-354
    4. Michael Löwe, Harald König, Christoph Schulz
      Pages 355-369
  11. Debugging and Testing

    1. Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
      Pages 370-384
    2. Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
      Pages 385-399
    3. Maximiliano Cristiá, Joaquín Mesuro, Claudia Frydman
      Pages 400-414
    4. Ana Cavalcanti, Marie-Claude Gaudel
      Pages 415-429
  12. Back Matter

About these proceedings


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.


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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-54803-1
  • Online ISBN 978-3-642-54804-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment