Programming and Software Engineering IFIP-LNCS Volumes
cover

Fundamentals of Software Engineering

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

Editors: Hojjat, Hossein, Massink, Mieke (Eds.)

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-89247-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • ISBN 978-3-030-89246-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.

The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 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 the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Protocol Scheduling

    Pages 3-17

    Dokter, Kasper (et al.)

  • Automated Replication of Tuple Spaces via Static Analysis

    Pages 18-34

    Uwimbabazi, Aline (et al.)

  • Incremental Refinement of Goal Models with Contracts

    Pages 35-50

    Mallozzi, Piergiuseppe (et al.)

  • Adding Proof Calculi to Epistemic Logics with Structured Knowledge

    Pages 53-68

    Benevides, Mario (et al.)

  • Introducing Interval Differential Dynamic Logic

    Pages 69-75

    Figueiredo, Daniel

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-89247-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • ISBN 978-3-030-89246-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Fundamentals of Software Engineering
Book Subtitle
9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers
Editors
  • Hossein Hojjat
  • Mieke Massink
Series Title
Programming and Software Engineering
Series Volume
12818
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-030-89247-0
DOI
10.1007/978-3-030-89247-0
Softcover ISBN
978-3-030-89246-3
Edition Number
1
Number of Pages
XII, 229
Number of Illustrations
26 b/w illustrations, 14 illustrations in colour
Topics