Advertisement

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

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
  19. Lucia Acciai, Michele Boreale
    Pages 302-317
  20. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Pages 318-333
  21. Abdolmajid Mousavi, Behrouz Far, Armin Eberlein, Behrouz Heidari
    Pages 334-349
  22. Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang
    Pages 350-363
  23. Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    Pages 364-379
  24. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
    Pages 388-395
  25. Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefzadeh Rahaghi, Rasool Jalili
    Pages 396-403
  26. Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool jalili
    Pages 404-411
  27. Bahman Pourvatan, Nima Rouhy
    Pages 412-422
  28. Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar
    Pages 423-431
  29. Matteo Baldoni, Guido Boella, Leendert van der Torre
    Pages 440-448
  30. Back Matter

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

  • DOI https://doi.org/10.1007/978-3-540-75698-9
  • 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
  • Buy this book on publisher's site