Programming and Software Engineering
IFIP-LNCS Volumes
© 2019
Fundamentals of Software Engineering
8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Editors: Hojjat, Hossein, Massink, Mieke (Eds.)
Free PreviewBuy this book
- 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.
- Table of contents (18 chapters)
-
-
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Pages 3-19
-
A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game
Pages 20-36
-
A Persistent Entropy Automaton for the Dow Jones Stock Market
Pages 37-42
-
Proof Guidance in PVS with Sequential Pattern Mining
Pages 45-60
-
Using PVS for Modeling and Verification of Probabilistic Connectors
Pages 61-76
-
Table of contents (18 chapters)
Recommended for you
Bibliographic Information
- 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
- Programming and Software Engineering
- Series Volume
- 11761
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- IFIP International Federation for Information Processing
- eBook ISBN
- 978-3-030-31517-7
- DOI
- 10.1007/978-3-030-31517-7
- Softcover ISBN
- 978-3-030-31516-0
- Edition Number
- 1
- Number of Pages
- X, 261
- Number of Illustrations
- 300 b/w illustrations, 37 illustrations in colour
- Topics
