International Symposium on Fundamentals of Software Engineering

International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

  • Editors
  • Farhad Arbab
  • Marjan Sirjani
Conference proceedings FSEN 2007

DOI: 10.1007/978-3-540-75698-9

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

Table of contents

  1. Front Matter
  2. Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
    Pages 17-32
  3. M. Torabi Dashti, S. Krishnan Nair, H. L. Jonker
    Pages 33-48
  4. Gizela Jakubowska, Wojciech Penczek
    Pages 65-80
  5. Wan Fokkink, Allard Kakebeen, Jun Pang
    Pages 81-97
  6. Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
    Pages 98-112
  7. Niloofar Razavi, Marjan Sirjani
    Pages 113-128
  8. Ramin Tavakoli Kolagari, Mark-Oliver Reiser
    Pages 129-143
  9. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
    Pages 144-159
  10. Mercedes G. Merayo, Manuel Núñez, Ismael Rodriguez
    Pages 160-174
  11. Seyyed Vahid Hashemian, Farhad Mavaddat
    Pages 175-190
  12. Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    Pages 191-206
  13. Mario Bravetti, Gianluigi Zavattaro
    Pages 207-222
  14. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 223-239
  15. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
    Pages 240-256
  16. Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
    Pages 257-271
  17. Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon
    Pages 272-286
  18. Michel A. Reniers, Muck van Weerdenburg
    Pages 287-301

About these proceedings

Introduction

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti?cMeetingsO?ce(ISMO).Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di?erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries.

Keywords

CASE formal method model checking software architecture software engineering theorem proving validation verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75697-2
  • Online ISBN 978-3-540-75698-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349