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
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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-28872-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28871-5
  • Online ISBN 978-3-642-28872-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book