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
Conference proceedings FASE 2009

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
    2. Alexander Fülleborn, Klaus Meffert, Maritta Heisel
      Pages 294-308
  9. Security

    1. Iman Narasamdya, Michaël Périn
      Pages 309-324
    2. Marieke Huisman, Alejandro Tamalet
      Pages 340-354
  10. Queries and Error Handling

    1. William N. Sumner, Xiangyu Zhang
      Pages 355-369
    2. Mithun Acharya, Tao Xie
      Pages 370-384
    3. Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen
      Pages 385-400
    4. Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman
      Pages 401-416
  11. Tools (Demos) and Program Analysis

    1. Achim D. Brucker, Burkhart Wolff
      Pages 417-420
    2. Radu Calinescu, Marta Kwiatkowska
      Pages 421-424
    3. Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller
      Pages 425-439
    4. Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen
      Pages 440-455
  12. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-00592-3
  • Online ISBN 978-3-642-00593-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment