Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12818)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FSEN 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- formal logic
- object-oriented programming
- parallel processing systems
- semantics
- software architecture
- software design
- software engineering
Table of contents (16 papers)
-
Front Matter
-
Logic
-
Front Matter
-
-
Parallel Computation
-
Front Matter
-
Other volumes
-
Fundamentals of Software Engineering
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-89247-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2021
Softcover ISBN: 978-3-030-89246-3Published: 17 October 2021
eBook ISBN: 978-3-030-89247-0Published: 16 October 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 229
Number of Illustrations: 26 b/w illustrations, 14 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Control Structures and Microprogramming, Computer Communication Networks, Theory of Computation
