Intro
Preface
Organization
Contents
Keynote
Partial Specifications of Libraries: Applications in Software Engineering
1 Introduction
2 Problems with External Libraries
3 Approach
4 Formal Specifications of Libraries
5 LibSL: Library Specification Language
5.1 General Specification Structure
5.2 Semantic Types Descriptions
5.3 Automata Description
5.4 API Functions Description
5.5 Global Objects Section
6 Applications
6.1 Porting of Software
6.2 Enhancements of Static Analysis
6.3 Cross-Language Integration

6.4 Integration Errors Detection
6.5 Specification Mining
6.6 Other Applications
7 Conclusion
References
Full Papers
Chaotic Time Series Prediction: Run for the Horizon
1 Introduction
2 Related Works
3 Time Series Prediction Problem
4 Non-successive Observations
5 Prediction Algorithm
6 Non-predictable Points
7 Quality Assessment
8 The Problem of Estimating Clusters' Prognostic Values (Quality Assessment)
9 Numerical Results
10 Comparison with Published Results
11 Conclusions
References

Machine Learning and Value Generation in Software Development: A Survey
1 Introduction
2 Predicting Programming Effort
3 Predicting Risks to the Project
4 Predicting Defects
5 Discussion
6 Conclusion and Future Research
References
The Conception of Strings Similarity in Software Engineering
1 Introduction
2 Data Similarity Conception
3 Jaccard Distance-Based NED Approximation
3.1 About Triangular Inequality for NED
4 Similarity Model Validation
4.1 About Data Set
4.2 Similarity Metrics Measurement Issue

5 Experimental Results of ANED-Based Approximation and Their Discussion
6 Conclusion
References
Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs
1 Introduction
2 Related Work
3 A Database Approach for Representing Event Logs
3.1 An Abstract Event Log and an DB-Event Log
3.2 Relating DB Event Logs and Abstract Event Logs
4 Implementation
4.1 Embedding Configurations into DB-Based Event Logs to Obtain Multi-perspective Process Mining
5 Conclusion
References
On DB-Nets and Their Applications
1 Introduction

2 The Formalism
3 Current and Prospective Applications
4 Conclusions
References
Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining
1 Introduction
2 The Financial Information Exchange (FIX) Protocol
3 Extracting Event Logs for Process Mining from FIX Messages
3.1 Basic Definitions
3.2 Extraction of Order-Based Event Logs
3.3 Extraction of Order-Book-Based Event Logs
3.4 Replay of Order-Book-Based Event Logs
4 Conclusions and Future Work
References
Time Series Classification Based on Visualization of Recurrence Plots