Fundamental Approaches to Software Engineering

12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

  • Marsha Chechik
  • Martin Wirsing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5503)

Table of contents

  1. Front Matter
  2. Scalable Analysis of Scalable Systems

    1. Allan Clark, Stephen Gilmore, Mirco Tribastone
      Pages 1-17
  3. Model-Driven Development

    1. Artur Boronat, Reiko Heckel, José Meseguer
      Pages 18-33
    2. Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen
      Pages 34-48
    3. Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse
      Pages 49-63
    4. Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
      Pages 64-78
  4. Synthesis and Adaptation

    1. Hillel Kugler, Cory Plock, Amir Pnueli
      Pages 79-93
    2. Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 94-108
    3. Guido Wachsmuth
      Pages 109-123
    4. Marco Autili, Paolo Di Benedetto, Paola Inverardi
      Pages 124-139
  5. Modeling

    1. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
      Pages 140-154
    2. Nazareno M. Aguirre, Marcelo F. Frias, Mariano M. Moscato, Thomas S. E. Maibaum, Alan Wassyng
      Pages 155-170
  6. Testing and Debugging

    1. Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov
      Pages 171-185
    2. Kathryn E. Gray, Alan Mycroft
      Pages 186-200
    3. Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
      Pages 201-215
  7. Model Analysis

    1. Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
      Pages 216-230
    2. K. Rustan M. Leino, Ronald Middelkoop
      Pages 231-245
    3. Piotr Kosiuczenko
      Pages 246-261
    4. Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura
      Pages 262-277
  8. Patterns

    1. Paolo Bottoni, Esther Guerra, Juan de Lara
      Pages 278-293

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.

Keywords

Debugging code templates design patterns executable validation formal methods formal specification logical testing modeling modeling techniques program analysis rewriting systems software architecture software engi software engineering testing

Editors and affiliations

  • Marsha Chechik
    • 1
  • Martin Wirsing
    • 2
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Institute of Computer ScienceLMU MunichMunichGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-00593-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00592-3
  • Online ISBN 978-3-642-00593-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book