Fundamentals of Software Engineering

4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

  • Farhad Arbab
  • Marjan Sirjani
Conference proceedings FSEN 2011

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

Table of contents

  1. Front Matter
  2. Jan A. Bergstra, Alban Ponse
    Pages 15-31
  3. Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, MohammadReza Mousavi
    Pages 32-47
  4. Shekoufeh Kolahdouz-Rahimi, Kevin Lano
    Pages 48-63
  5. Christian Lambertz, Mila Majster-Cederbaum
    Pages 64-79
  6. Hassan Haghighi, Mohammad Mahdi Javanmard
    Pages 80-95
  7. Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
    Pages 112-127
  8. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
    Pages 128-142
  9. Yuxin Deng, Matthew Hennessy
    Pages 143-157
  10. Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
    Pages 158-173
  11. Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
    Pages 174-189
  12. Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott
    Pages 190-205
  13. Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
    Pages 206-220
  14. Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li
    Pages 221-235
  15. Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
    Pages 236-252
  16. Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi, Neda Noroozi
    Pages 253-267
  17. Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir, Miguel Palomino
    Pages 268-283
  18. Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva
    Pages 316-334
  19. David Costa, Milad Niqui, Jan Rutten
    Pages 335-342
  20. Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
    Pages 343-350
  21. Hamideh Sabouri, Ramtin Khosravi
    Pages 351-358
  22. Zining Cao, Hui Wang
    Pages 359-367
  23. Alexandra Silva
    Pages 368-376
  24. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011.
The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.


distributed declarative logic formal program development model checking probabilistic specification type theory

Editors and affiliations

  • Farhad Arbab
    • 1
  • Marjan Sirjani
    • 2
  1. 1.Centre for Mathematics and Computer Science (CWI)AmsterdamThe Netherlands
  2. 2.Reykjavik UniversityReykjavikIceland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-29319-1
  • Online ISBN 978-3-642-29320-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment