Fundamentals of Software Engineering Fundamentals of Software Engineering

Fundamentals of Software Engineering

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

    • $59.99
    • $59.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2021
October 16
LANGUAGE
EN
English
LENGTH
241
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
16.7
MB
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019
Software Engineering and Formal Methods Software Engineering and Formal Methods
2021
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2018
FM 2011: Formal Methods FM 2011: Formal Methods
2011
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2022
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2022
Fundamentals of Software Engineering Fundamentals of Software Engineering
2025
Fundamentals of Software Engineering Fundamentals of Software Engineering
2023
Fundamentals of Software Engineering Fundamentals of Software Engineering
2019