Description |
1 online resource (216 pages) |
Series |
Communications in Computer and Information Science Ser. ; v.1288 |
|
Communications in computer and information science.
|
Contents |
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 |
Summary |
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification |
Notes |
Description based on print version record |
In |
Springer Nature eBook |
Subject |
Software engineering.
|
|
Artificial intelligence.
|
|
Computers.
|
|
Computer organization.
|
|
Programming languages (Electronic computers)
|
|
Artificial Intelligence
|
|
Computers
|
|
artificial intelligence.
|
|
computers.
|
|
Artificial intelligence
|
|
Computer organization
|
|
Computers
|
|
Programming languages (Electronic computers)
|
|
Software engineering
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Lozano, Jose A
|
|
Yavorskiy, Rostislav
|
ISBN |
9783030714727 |
|
3030714721 |
|