Fundamentals of Software Engineering

6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

  • Mehdi Dastani
  • Marjan Sirjani
Conference proceedings FSEN 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9392)

Table of contents

  1. Front Matter
    Pages I-X
  2. Holger Giese, Thomas Vogel, Sebastian Wätzoldt
    Pages 1-29
  3. Marco Autili, Paola Inverardi, Massimo Tivoli
    Pages 30-45
  4. Ali Sedaghatbaf, Mohammad Abdolahi Azgomi
    Pages 46-53
  5. Ugo Dal Lago, Alessandro Rioli
    Pages 54-68
  6. Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
    Pages 69-83
  7. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
    Pages 84-99
  8. Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi
    Pages 100-109
  9. Jeroen J. A. Keiren
    Pages 127-142
  10. Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
    Pages 143-158
  11. Deepanker Aggarwal, Astrid Kiehn
    Pages 176-190
  12. Keyvan Azadbakht, Vlad Serbanescu, Frank de Boer
    Pages 191-206
  13. Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi
    Pages 207-214
  14. Harsh Beohar, Mohammad Reza Mousavi
    Pages 215-229
  15. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
    Pages 230-237
  16. Sung-Shik T. Q. Jongmans, Farhad Arbab
    Pages 238-258
  17. Nuno Gaspar, Ludovic Henrio, Eric Madelaine
    Pages 259-274
  18. Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
    Pages 292-307
  19. Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
    Pages 308-315
  20. Back Matter
    Pages 317-317

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.

The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.


Model checking Multi-agent systems Real-time systems Self-adaptive software Software testing Component-based and service-oriented software systems Extra-functional properties Industrial software applications Models of programs and software systems Models of software systems Object systems Programming languages Software architectures Software creation and management Software functional properties Software notations and tools Software specification Software validation Software verification Theorem proving

Editors and affiliations

  • Mehdi Dastani
    • 1
  • Marjan Sirjani
    • 2
  1. 1.Intelligent Systems Utrecht UniversityUtrechtThe Netherlands
  2. 2.School of Computer ScienceReykjavik UniversityReykjavikIceland

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-24643-7
  • Online ISBN 978-3-319-24644-4
  • 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
Consumer Packaged Goods
Energy, Utilities & Environment