Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 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.

Book details

Edition:
1st ed. 2023
Series:
Lecture Notes in Computer Science (Book 14155)
Author:
Hossein Hojjat, Erika Ábrahám
ISBN:
9783031424410
Related ISBNs:
9783031424403
Publisher:
Springer Nature Switzerland
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2023-09-29
Usage restrictions:
Copyright
Copyright date:
2023
Copyright by:
IFIP International Federation for Information Processing 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction