Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11761)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FSEN 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
-
Distributed Algorithms
Other volumes
-
Fundamentals of Software Engineering
Keywords
- artificial intelligence
- complex systems
- distributed computer systems
- formal logic
- formal methods
- formal model
- graph theory
- large scale systems
- petri nets
- problem solving
- programming languages
- semantics
- software design
- software engineering
- software evaluation
- specifications
- theorem proving
- verification
About this book
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.
The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 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 agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.Editors and Affiliations
Bibliographic Information
Book Title: Fundamentals of Software Engineering
Book Subtitle: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Editors: Hossein Hojjat, Mieke Massink
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-31517-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2019
Softcover ISBN: 978-3-030-31516-0Published: 22 September 2019
eBook ISBN: 978-3-030-31517-7Published: 21 September 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 261
Number of Illustrations: 300 b/w illustrations, 37 illustrations in colour
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Theory of Computation, System Performance and Evaluation, Logic in AI, The Computing Profession