Fundamental Approaches to Software Engineering

15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

  • Juan de Lara
  • Andrea Zisman
Conference proceedings FASE 2012

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Software Architecture and Components

    1. Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
      Pages 26-42
    2. Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman et al.
      Pages 43-58
    3. Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
      Pages 59-62
  4. Services

    1. José Luiz Fiadeiro, Antónia Lopes
      Pages 63-77
    2. Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
      Pages 78-93
    3. Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
      Pages 94-98
  5. Verification and Monitoring

    1. Vineet Kahlon
      Pages 99-114
    2. Leo Hatvani, Paul Pettersson, Cristina Seceleanu
      Pages 115-129
    3. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
      Pages 130-145
    4. Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst
      Pages 146-162
  6. Intermodelling and Model Transformations

    1. Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki
      Pages 163-177
    2. Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
      Pages 178-193
    3. Maarten de Mol, Arend Rensink, James J. Hunt
      Pages 209-223
  7. Modelling and Adaptation

    1. Rick Salay, Michalis Famelis, Marsha Chechik
      Pages 224-239
    2. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 240-254
  8. Product Lines and Feature-Oriented Programming

    1. Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
      Pages 255-269
    2. Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
      Pages 270-284
    3. Julia Rubin, Marsha Chechik
      Pages 285-300
  9. Development Process

    1. Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig
      Pages 301-315
    2. Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. German, Premkumar Devanbu
      Pages 316-331
    3. Mário Luís Guimarães, António Rito Silva
      Pages 332-346
    4. Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro
      Pages 347-361
  10. Verification and Synthesis

    1. Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
      Pages 362-376
    2. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
      Pages 377-393
    3. Martin Erwig, Rahul Gopinath
      Pages 394-408
  11. Testing and Maintenance

    1. Matt Staats, Gregory Gay, Michael Whalen, Mats Heimdahl
      Pages 409-424
    2. Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha
      Pages 425-438
    3. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
      Pages 439-454
    4. Rim Mahouachi, Marouane Kessentini, Khaled Ghedira
      Pages 455-470
  12. Slicing and Refactoring

    1. Aharon Abadi, Ran Ettinger, Yishai A. Feldman
      Pages 471-485
    2. Josep Silva, Salvador Tamarit, César Tomás
      Pages 486-500
    3. Huiqing Li, Simon Thompson
      Pages 501-515
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software.

The 33 full papers presented together with one full length invited talk were carefully reviewed and slected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.


distributed systems genetic programming graph transformation implementation metrics

Editors and affiliations

  • Juan de Lara
    • 1
  • Andrea Zisman
    • 2
  1. 1.School of Computer ScienceUniversidad Autónoma de MadridMadridSpain
  2. 2.School of InformaticsCity UniversityLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28871-5
  • Online ISBN 978-3-642-28872-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site