Fundamentals of Software Engineering

Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

  • Farhad Arbab
  • Marjan Sirjani
Conference proceedings FSEN 2009

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

Table of contents

  1. Front Matter
  2. Session 1. Invited Papers

    1. J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg
      Pages 1-33
    2. Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
      Pages 34-61
    3. Zhiming Liu, Charles Morisset, Volker Stolz
      Pages 62-80
  3. Session 2. Regular Papers

    1. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
      Pages 81-96
    2. Franco Barbanera, Sara Capecchi, Ugo de’Liguoro
      Pages 97-112
    3. Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
      Pages 113-128
    4. Viktor Schuppan
      Pages 129-145
    5. Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers
      Pages 146-161
    6. Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
      Pages 162-177
    7. Frank de Boer, Tom Chothia, Mohammad Mahdi Jaghoori
      Pages 212-227
    8. Massimo Merro, Eleonora Sibilio
      Pages 228-243
    9. Miaomiao Zhang, Zhiming Liu, Naijun Zhan
      Pages 244-259
    10. Marcello M. Bonsangue, Mohammad Izadi
      Pages 260-275
    11. Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt
      Pages 276-291
    12. Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi
      Pages 292-307
    13. Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
      Pages 308-323
    14. Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
      Pages 324-339
    15. Gregor Gössler
      Pages 340-354
    16. Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot
      Pages 355-370
    17. Jens Schönborn, Marcel Kyas
      Pages 371-386
    18. Zhenbang Chen, Charles Morisset, Volker Stolz
      Pages 387-401
    19. Matteo Baldoni, Guido Boella, Leendert van der Torre
      Pages 402-415
    20. Marco A. Barbosa, Luis S. Barbosa, José C. Campos
      Pages 416-430
  4. Session 3. Short Papers

    1. Jacky Estublier, Thomas Leveque, German Vega
      Pages 431-438
    2. Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira
      Pages 439-446
    3. Lorenzo Bettini, Sara Capecchi, Betti Venneri
      Pages 455-462
    4. Alexander Gruler, Michael Meisinger
      Pages 463-470
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009.

The 22 revised full papers and 5 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 88 submissions. The topics include models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, integration of formal and informal methods, integration of different formal methods, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.


Software Engineering abstract interpretation ad hoc network algebra approximation client/server interaction complexity compliance components composition of models concurrent systems coordination models deployment management software architecture validation verification

Editors and affiliations

  • Farhad Arbab
    • 1
  • Marjan Sirjani
    • 2
  1. 1.Center for Mathematics and Computer Science (CWI), Science Park 123AmsterdamThe Netherlands
  2. 2.Reykjavik University, School of Computer ScienceReykjavikIceland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-11622-3
  • Online ISBN 978-3-642-11623-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