Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

  • Mehdi Dastani
  • Marjan Sirjani
Conference proceedings FSEN 2017

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Beniamino Accattoli, Giulio Guerrieri
    Pages 1-19
  3. Gianluca Barbon, Vincent Leroy, Gwen Salaün
    Pages 20-34
  4. Filippo Bonchi, Matias David Lee, Jurriaan Rot
    Pages 35-50
  5. Guillermina Cledou, José Proença, Luis Soares Barbosa
    Pages 51-66
  6. Ferruccio Damiani, Michael Lienhardt, Luca Paolini
    Pages 67-83
  7. Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
    Pages 84-99
  8. Atieh Monemi Bidgoli, Hassan Haghighi, Tahere Zohdi Nasab, Hamideh Sabouri
    Pages 132-147
  9. José Proença, Carlos Baquero
    Pages 180-195
  10. Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
    Pages 196-211
  11. Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan
    Pages 212-227
  12. Masoumeh Taromirad, Mohammad Reza Mousavi
    Pages 228-243
  13. Nils Timm, Stefan Gruner, Prince Sibanda
    Pages 244-259
  14. Back Matter
    Pages 261-261

About these proceedings


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

The 16 full papers presented in this volume were carefully reviewed and selected from 49 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.


CASE tools and tool integration Component-based and service-oriented software systems Coordination and feature interaction Development frameworks and environments Programming Languages Industrial software applications Integration of different formal methods Integration of formal and informal methods Model checking and theorem proving Object and multi-agent systems Self-adaptive software systems Software and hardware verification Software architectures and their description languages Software engineering Software maintenance tools Software specification, validation, and verification Software testing Semantics

Editors and affiliations

  1. 1.Utrecht UniversityUtrechtThe Netherlands
  2. 2.Mälardalen UniversityVästeråsSweden

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-68971-5
  • Online ISBN 978-3-319-68972-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site