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

About these proceedings

Introduction

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.

Keywords

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